8337 search results - page 364 / 1668 » Reasoning With Characteristic Models |
176
click to vote
LPNMR
2004
Springer
16 years 4 days 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...
177
click to vote
AAAI
2010
15 years 8 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...
148
click to vote
SEMWEB
2009
Springer
16 years 1 months 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...
275
click to vote
GIS
2008
ACM
16 years 7 months ago
2008
ACM
In this paper we propose to apply hierarchical graphs to indoor navigation. The intended purpose is to guide humans in large public buildings and assist them in wayfinding. We sta...
155
click to vote
ICCD
2002
IEEE
16 years 3 months ago
2002
IEEE
Practical approaches for on-chip inductance extraction to obtain a sparse, stable and accurate inverse inductance matrix K are proposed. The novelty of our work is in using circui...