10542 search results - page 201 / 2109 » A General Notion of Useful Information |
173
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
169
click to vote
PAKDD
2010
ACM
15 years 10 months ago
2010
ACM
We present a general framework for the task of extracting specific information “on demand” from a large corpus such as the Web under resource-constraints. Given a database wit...
190
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
154
click to vote
HYBRID
1995
Springer
15 years 10 months ago
1995
Springer
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible time...
191
click to vote
SPIESR
1996
15 years 8 months ago
1996
Many applications would benefit if media objects such as images could be selected and classified (or clustered) such that "conceptually similar" images are grouped toget...