8337 search results - page 4 / 1668 » Reasoning With Characteristic Models |
AGI
2008
13 years 8 months ago
2008
We give a brief overview of the main characteristics of diagrammatic reasoning, analyze a case of human reasoning in a mastermind game, and explain why hybrid representation system...
IWAR
1992
13 years 7 months ago
1992
This paper reports the study of properties of the curve pairs of the Bertrand types using our automated reasoning program based on Wu's method of mechanical theorem proving fo...
IMC
2010
ACM
13 years 4 months ago
2010
ACM
Prior studies of Internet traffic have considered traffic at different resolutions and time scales: packets and flows for hours or days, aggregate packet statistics for days or we...
AI
2000
Springer
13 years 6 months ago
2000
Springer
Automated handling of tutoring and training functions in educational systems requires the availability of articulate domain models. In this article we further develop the applicat...
FMCO
2009
Springer
13 years 4 months ago
2009
Springer
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...