4617 search results - page 840 / 924 » Automation of Diagrammatic Reasoning |
174
click to vote
ICLP
2005
Springer
16 years 9 days ago
2005
Springer
Any finite tree automaton (or regular type) can be used to construct act interpretation of a logic program, by first determinising and completing the automaton to get a pre-inter...
188
click to vote
ICLP
2005
Springer
16 years 9 days ago
2005
Springer
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt ter...
173
click to vote
ICLP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
187
click to vote
ICLP
2005
Springer
16 years 9 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...
192
click to vote
ICN
2005
Springer
16 years 9 days ago
2005
Springer
Wireless sensor networks are ad hoc networks comprised mainly of small sensor nodes with limited resources, and are rapidly emerging as a technology for large-scale, lowcost, autom...