3653 search results - page 430 / 731 » On Recognizable Timed Languages |
172
click to vote
ECOOP
2005
Springer
16 years 6 days ago
2005
Springer
There are many algorithms for concurrent garbage collection, but they are complex to describe, verify, and implement. This has resulted in a poor understanding of the relationships...
181
click to vote
ICLP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
215
click to vote
ICLP
2005
Springer
16 years 5 days ago
2005
Springer
1 In [20], a new Hybrid Probabilistic Logic Programs framework is proposed, and a new semantics is developed to enable encoding and reasoning about real-world applications. In this...
196
click to vote
KI
2005
Springer
16 years 5 days ago
2005
Springer
To reason about geographical objects, it is not only necessary to have more or less complete information about where these objects are located in space, but also how they can chang...
189
click to vote
NLDB
2005
Springer
16 years 5 days ago
2005
Springer
Web Directories provide a way of locating relevant information on the Web. Typically, Web Directories rely on humans putting in significant time and effort into finding important p...