232 search results - page 45 / 47 » Or-Parallelism within Tabling |
114
Voted
ICAIL
2007
ACM
15 years 6 months ago
2007
ACM
Ontologies in a legal expert system must be processed to suit all possible user cases within the field of law of the system. From the logical premises of a deductive system of expr...
120
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
A database view is a dynamic virtual table composed of the result set of a query, often executed over different underlying databases. The view maintenance problem concerns how a v...
137
Voted
CMSB
2008
Springer
15 years 4 months ago
2008
Springer
Kinetic models for biochemical systems often comprise a large amount of coupled differential equations with species concentrations varying on different time scales. In this paper w...
131
Voted
COORDINATION
2008
Springer
15 years 4 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
135
Voted
RSS
2007
15 years 4 months ago
2007
— In this paper we present an implicit time-stepping scheme for multibody systems with intermittent contact by incorporating the contact constraints as a set of complementarity a...