11436 search results - page 509 / 2288 » Modeling Real Reasoning |
171
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
164
click to vote
LPNMR
2004
Springer
15 years 11 months ago
2004
Springer
Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the que...
172
click to vote
AAAI
2010
15 years 7 months ago
2010
Understanding conceptual change is an important problem in modeling human cognition and in making integrated AI systems that can learn autonomously. This paper describes a model o...
138
click to vote
SEMWEB
2009
Springer
16 years 29 days ago
2009
Springer
A modelling procedure consists of a sequence of modelling tasks. With the increasing size of models during the development, the relations among modelling objects and their correspo...
155
Voted
ISPASS
2006
IEEE
16 years 13 days ago
2006
IEEE
The performance of computer systems depends, among other things, on the workload. Performance evaluations are therefore often done using logs of workloads on current productions s...