933 search results - page 68 / 187 » Extending Forward Checking |
110
Voted
JODS
2006
15 years 21 days ago
2006
Knowledge representation languages that combine rules with object-oriented features akin to frame systems have recently attracted a lot of research interest, and F-logic is widely ...
114
Voted
CSL
2002
Springer
15 years 16 days ago
2002
Springer
In the process of interactive theorem proving one often works with incomplete higher order proofs. In this paper we address the problem of giving a correctness criterion for these ...
ICDM
2010
IEEE
14 years 10 months ago
2010
IEEE
-- In this paper, we put forward our approach for answering aggregated queries over imprecise data using domain specific taxonomies. A new concept we call the weighted hierarchical...
97
Voted
IFL
2001
Springer
15 years 5 months ago
2001
Springer
The parallel-functional language Eden extends Haskell with constructs to explicitly define and communicate processes. These extensions allow the easy definition of skeletons as h...
131
Voted
ISTCS
1992
Springer
15 years 4 months ago
1992
Springer
Concurrent Time-stamp Systems (ctss) allow processes to temporally order concurrent events in an asynchronous shared memorysystem, a powerful tool for concurrency control, serving...