5086 search results - page 336 / 1018 » The Power of Comparative Reasoning |
180
click to vote
LICS
2007
IEEE
16 years 29 days ago
2007
IEEE
d abstract) Marcin Jurdzi´nski and Ranko Lazi´c∗ Department of Computer Science, University of Warwick, UK An alternation-free modal µ-calculus over data trees is introduced ...
183
click to vote
NDSS
2006
IEEE
16 years 21 days ago
2006
IEEE
Volunteer distributed computations utilize spare processor cycles of personal computers that are connected to the Internet. The resulting platforms provide computational power pre...
169
click to vote
GIS
1999
ACM
15 years 11 months ago
1999
ACM
Nowadays, many applications need data modeling facilities for the description of complex objects with spatial and/or temporal facilities. Responses to such requirements may be fou...
176
click to vote
LOPSTR
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. A concept of annotations for rendering procedural aspects of Prolog is presented, built around wellknown procedural concepts of Standard Prolog. Annotations describe prop...
158
click to vote
LACL
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. The principle of compositionality, as standardly defined, regards grammars as compositional that are not compositional in an intuitive sense of the word. There is, for ex...