1368 search results - page 165 / 274 » Personality-Based Practical Reasoning |
125
click to vote
LOPSTR
2007
Springer
15 years 9 months ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
142
click to vote
DOCENG
2006
ACM
15 years 9 months ago
2006
ACM
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
113
click to vote
ICA3PP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Practical implementations of atomically consistent read/write memory service are important building blocks for higher level applications. This is especially true when dat...
150
click to vote
TACS
2001
Springer
15 years 7 months ago
2001
Springer
The state of the practice in object-oriented software development has moved beyond reuse of code to reuse of conceptual structures such as design patterns. This paper draws attenti...
151
click to vote
SODA
1993
ACM
15 years 4 months ago
1993
ACM
Given a set of n points in d-dimensional Euclidean space, S ⊂ Ed , and a query point q ∈ Ed , we wish to determine the nearest neighbor of q, that is, the point of S whose Euc...