1194 search results - page 216 / 239 » A Language for Implementing Arbitrary Logics |
153
click to vote
RR
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. The Semantic Web is commonly perceived as a web of partially interlinked machine readable data. This data is inherently distributed and resembles the structure of the web...
176
click to vote
SEMWEB
2009
Springer
16 years 11 days ago
2009
Springer
RDF Schema (RDFS) as a lightweight ontology language is gaining popularity and, consequently, tools for scalable RDFS inference and querying are needed. SPARQL has become recently ...
161
click to vote
ADHOCNOW
2008
Springer
16 years 6 days ago
2008
Springer
Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly con gu...
190
click to vote
LICS
2007
IEEE
16 years 4 days ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
184
Voted
SECON
2007
IEEE
16 years 3 days ago
2007
IEEE
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...