Instructional Material
Country:
- Asia > Middle East > Jordan (0.04)
- North America > United States > Illinois (0.04)
- Europe > United Kingdom > England > Cambridgeshire > Cambridge (0.04)
Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning (1.00)
- Information Technology > Artificial Intelligence > Machine Learning > Reinforcement Learning (1.00)
- Information Technology > Artificial Intelligence > Machine Learning > Learning Graphical Models > Undirected Networks > Markov Models (0.46)
Country:
- Asia > China > Shanghai > Shanghai (0.04)
- Europe > United Kingdom > England > Cambridgeshire > Cambridge (0.04)
Genre: Instructional Material (0.46)
Technology:
Country:
- Europe > Belgium > Flanders > Flemish Brabant > Leuven (0.04)
- North America > Canada (0.04)
- Europe > Netherlands > South Holland > Dordrecht (0.04)
Genre:
- Research Report (0.46)
- Instructional Material > Online (0.41)
Technology:
a922b7121007768f78f770c404415375-Paper-Conference.pdf
Neural Information Processing Systems
Notably, modern tools for the verification of hybrid automata are designed formodels thatrarely haveoverhundred discrete states [7],while arbitrary meshes grow exponentially as the granularity increases.
Technology: Information Technology > Artificial Intelligence > Machine Learning > Neural Networks (0.95)
Genre:
- Research Report (0.93)
- Instructional Material (0.68)
Industry:
- Law (0.67)
- Leisure & Entertainment > Games > Computer Games (0.47)
Technology:
- Information Technology > Artificial Intelligence > Robots (1.00)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Agents (1.00)
- Information Technology > Artificial Intelligence > Machine Learning > Reinforcement Learning (1.00)
- Information Technology > Artificial Intelligence > Machine Learning > Learning Graphical Models > Undirected Networks > Markov Models (0.46)
Genre: Instructional Material (0.67)
Technology: Information Technology > Artificial Intelligence > Machine Learning > Neural Networks > Deep Learning (1.00)
Genre: Instructional Material (0.46)
Industry:
- Health & Medicine > Consumer Health (0.47)
- Education > Educational Setting (0.47)
Technology:
Country:
- North America > United States > Minnesota > Hennepin County > Minneapolis (0.14)
- Asia > Middle East > Jordan (0.04)
- Oceania > Australia > Victoria > Melbourne (0.04)
- (2 more...)
Genre:
- Instructional Material (0.93)
- Research Report (0.67)
Industry:
- Education > Educational Setting (0.67)
- Health & Medicine > Consumer Health (0.46)
Technology:
Country:
- Asia > China > Shanghai > Shanghai (0.04)
- North America > United States > Massachusetts > Middlesex County > Cambridge (0.04)
- Asia > China > Hong Kong (0.04)
- Asia > China > Guangdong Province > Shenzhen (0.04)
Genre:
- Research Report > Experimental Study (0.93)
- Instructional Material (0.67)
Technology:
- Information Technology > Artificial Intelligence > Machine Learning > Neural Networks (0.93)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Search (0.69)
- Information Technology > Artificial Intelligence > Vision (0.67)
- Information Technology > Artificial Intelligence > Machine Learning > Statistical Learning (0.67)
Country:
- Europe > Denmark > Capital Region > Copenhagen (0.04)
- North America > United States (0.04)
- North America > Canada (0.04)
- Europe > United Kingdom > England > Oxfordshire > Oxford (0.04)
Genre:
- Research Report (0.47)
- Overview (0.46)
- Instructional Material (0.34)
Technology:
- Information Technology > Artificial Intelligence > Machine Learning > Reinforcement Learning (1.00)
- Information Technology > Artificial Intelligence > Machine Learning > Neural Networks > Deep Learning (1.00)
- Information Technology > Artificial Intelligence > Machine Learning > Evolutionary Systems (0.94)