1604 search results - page 262 / 321 » Modeling and simulation of integrated intelligent systems |
149
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
181
click to vote
IWRT
2010
15 years 4 months ago
2010
The paper proposes an integrated framework which uses knowledge representation theory and languages to annotate relevant product information in a semantically rich and unambiguous ...
145
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
In dynamically changing environments a planning system does not have all the required information at the first place and the world state can change, rendering the original plan i...
171
click to vote
AAAI
2007
15 years 8 months ago
2007
How should a robot represent and reason about spatial information when it needs to collaborate effectively with a human? The form of spatial representation that is useful for robo...
170
click to vote
IEAAIE
2009
Springer
15 years 4 months ago
2009
Springer
Knowledge engineering techniques are becoming useful and popular components of hybrid integrated systems used to solve complicated practical problems in different fields. Knowledge...