1529 search results - page 216 / 306 » Querying for meta knowledge |
134
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Previous CASC competitions have focused on proving difficult problems on small numbers of axioms. However, typical reasoning applications for expert systems rely on knowledge base...
174
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
141
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
Semantic similarity measurement gained attention over the last years as a non-standard inference service for various kinds of knowledge representations including description logics...
168
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
We present the design goals and functional components of MASTAQ, a data management middleware for pervasive applications that utilize sensor data. MASTAQ allows applications to sp...
199
click to vote
EWSN
2004
Springer
16 years 6 months ago
2004
Springer
The efficient subdivision of a sensor network into uniform, mostly non-overlapping clusters of physically close nodes is an important building block in the design of efficient uppe...