1548 search results - page 85 / 310 » Computational Approaches to Sentence Completion |
151
click to vote
ISPA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Current solutions for fault-tolerance in HPC systems focus on dealing with the result of a failure. However, most are unable to handle runtime system configuration change...
164
click to vote
CAV
2001
Springer
15 years 10 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
154
Voted
RTSS
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper we propose a novel scheduling framework for a real-timeenvironmentthat experiences dynamic changes. Thisframework is capable of adjusting the system workload in incr...
179
Voted
ICDAR
2009
IEEE
15 years 3 months ago
2009
IEEE
A novel method for the segmentation of double-sided ancient document images suffering from bleed-through effect is presented. It takes advantage of the level set framework to prov...
136
click to vote
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...