42 search results - page 7 / 9 » Combining Semantic Web Search with the Power of Inductive Re... |
TCS
2008
14 years 9 months ago
2008
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
AGENTS
1997
Springer
15 years 1 months ago
1997
Springer
The World-Wide-Web is less agent-friendly than we might hope. Most information on the Web is presented in loosely structured natural language text with no agent-readable semantics...
116
click to vote
LICS
2012
IEEE
12 years 12 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
CADE
2004
Springer
15 years 9 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
GIS
2000
ACM
15 years 1 months ago
2000
ACM
With the increasing use of geographical data in real-world applications, Geographic Information Systems (GISs) have recently emerged as a fruitful area for research. Nowadays, a G...