593 search results - page 4 / 119 » Performance Modeling: Understanding the Past and Predicting ... |
COGSR
2011
13 years 2 months ago
2011
Fatigue has been implicated in an alarming number of motor vehicle accidents, costing billions of dollars and thousands of lives. Unfortunately, the ability to predict performance...
TACAS
2005
Springer
14 years 25 days ago
2005
Springer
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...
COLCOM
2005
IEEE
14 years 29 days ago
2005
IEEE
Using a combination of machine learning probabilistic tools, we have shown that some chemistry students fail to develop productive problem solving strategies through practice alon...
IJCAI
2003
13 years 8 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
Reasoning about agents that we observe in the world is challenging. Our available information is often limited to observations of the agent’s external behavior in the past and p...