2196 search results - page 139 / 440 » Practical Reasoning Using Values |
115
click to vote
PODS
2003
ACM
16 years 2 months ago
2003
ACM
In this paper we consider general path constraints for semistructured databases. Our general constraints do not suffer from the limitations of the path constraints previously stud...
146
Voted
RR
2007
Springer
15 years 8 months ago
2007
Springer
For the foreseeable future, most data will continue to be stored in relational databases. To work with these data in ontology-based applications, tools and techniques that bridge t...
149
click to vote
PCM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Due to its great ability of conquering clutters, which is especially useful for high-dimensional tracking problems, particle filter becomes popular in the visual trackin...
124
click to vote
ECRTS
1999
IEEE
15 years 6 months ago
1999
IEEE
In the eld of safety-critical real-time systems the development of distributed applications for fault tolerance reasons is a common practice. Hereby the whole application is divid...
119
click to vote
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...