11436 search results - page 404 / 2288 » Modeling Real Reasoning |
164
click to vote
IEEEHPCS
2010
15 years 3 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
140
click to vote
ITS
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents an approach to the design of a learning environment in a mathematical domain (elementary combinatorics) where problem solving is based more on modelling than o...
150
click to vote
ICCBR
2009
Springer
15 years 2 months ago
2009
Springer
Studying examples of expert case-based adaptation could advance computational modeling but only if the examples can be succinctly represented and reliably interpreted. Supreme Cour...
129
click to vote
IJCAI
1989
15 years 6 months ago
1989
In designing autonomous agents that deal competently with issues involving time and space, there is a tradeoff to be made between guaranteed response-time reactions on the one han...
140
click to vote
ECCV
1998
Springer
16 years 6 months ago
1998
Springer
Diffuse interreflections mean that surface shading and shape are related in ways that are difficult to untangle; in particular, distant and invisible surfaces may affect the shadi...