5619 search results - page 881 / 1124 » A Region Inference Algorithm |
184
click to vote
ICLP
2005
Springer
16 years 5 days ago
2005
Springer
The Semantic Web is a rapidly growing research area aiming at the exchange of semantic information over the World Wide Web. The Semantic Web is built on top of RDF, an XML-based ex...
157
click to vote
PPDP
2005
Springer
16 years 5 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
176
click to vote
SEKE
2005
Springer
16 years 4 days ago
2005
Springer
Various intelligent component retrieval techniques have been developed to assist a developer discover or locate components in an efficient manner. These techniques share a common ...
157
click to vote
IUI
2004
ACM
16 years 3 days ago
2004
ACM
The usefulness of ontology is strongly dependent on the knowledge representation policy and its maintenance. The subject of knowledge representation and modeling tool has been one...
206
click to vote
ARGMAS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. One of the most difficult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agent’...