4666 search results - page 635 / 934 » Equations on Timed Languages |
218
click to vote
ICLP
2005
Springer
16 years 8 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...
199
click to vote
KI
2005
Springer
16 years 8 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...
191
click to vote
NLDB
2005
Springer
16 years 8 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...
160
click to vote
SEMWEB
2005
Springer
16 years 7 days ago
2005
Springer
Discovery of semantic associations in Semantic Web ontologies is an important task in various analytical activities. Several query languages and storage systems have been designed ...
171
click to vote
UML
2005
Springer
16 years 7 days ago
2005
Springer
Developing user interfaces for ubiquitous environments is a challenging task. In such an environment, users can apply different devices to accomplish the same or different tasks. ...