4098 search results - page 703 / 820 » Sound mobility models |
140
click to vote
HYBRID
2010
Springer
15 years 9 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
263
click to vote
SIGMOD
2010
ACM
15 years 9 months ago
2010
ACM
The proliferation of knowledge-sharing communities and the advances in information extraction have enabled the construction of large knowledge bases using the RDF data model to re...
177
click to vote
LPAR
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Ex...
122
Voted
BIRTHDAY
1997
Springer
15 years 8 months ago
1997
Springer
The structures of space and time are identified as essential for the realization of cognitive systems. It is suggested that the omnipresence of space and time may have been respons...
167
click to vote
POPL
1992
ACM
15 years 8 months ago
1992
ACM
Semantics for a Higher-Order Functional Language with Logic Variables Radha Jagadeesan Imperial College, London, UK SW7 2BZ. Keshav Pingali Cornell University, Ithaca, NY 14853. A...