573 search results - page 82 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
115
Voted
CADE
2010
Springer
15 years 4 months ago
2010
Springer
iProver-Eq is an implementation of an instantiation-based calculus Inst-Gen-Eq which is complete for first-order logic with equality. iProver-Eq extends the iProver system with sup...
141
Voted
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
An important emerging requirement for computing systems is the ability to adapt at run time, taking advantage of local computing devices, and coping with dynamically changing reso...
130
Voted
COOPIS
2002
IEEE
15 years 8 months ago
2002
IEEE
Mobile services offering multi-feature query capabilities must meet tough response time requirements to gain customer acceptance. The top-k query model is a popular candidate to im...
145
Voted
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
A data structure is said to be persistent when any update operation returns a new structure without altering the old version. This paper introduces a new notion of persistence, cal...
144
Voted
TIP
2010
14 years 10 months ago
2010
In 1964 Edwin H. Land formulated the Retinex theory, the first attempt to simulate and explain how the human visual system perceives color. His theory and an extension, the "r...