7075 search results - page 346 / 1415 » Models and heterogeneous reasoning |
170
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Semantic Portal is the next generation of web portals that are powered by Semantic Web technologies for improved information sharing and exchange for a community of users. Current...
152
click to vote
CDVE
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Knowledge has become the most strategic resource in the new business environment. A case-based reasoning system, which incorporates a novel clustering and retrieval metho...
192
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
157
click to vote
BIRTHDAY
2005
Springer
16 years 9 days ago
2005
Springer
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...
182
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Parallel programming continues to be difficult, despite substantial and ongoing research aimed at making it tractable. Especially dismaying is the gulf between theory and the pract...