4903 search results - page 393 / 981 » The Set Covering Machine |
212
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
185
click to vote
ITC
1995
IEEE
15 years 11 months ago
1995
IEEE
During built-in self-test (BIST), the set of patterns generated by a pseudo-random pattern generator may not provide a sufficiently high fault coverage. This paper presents a new ...
180
click to vote
DIS
2008
Springer
15 years 9 months ago
2008
Springer
Taxonomies for a set of features occur in many real-world domains. An example is provided by paleontology, where the task is to determine the age of a fossil site on the basis of t...
205
click to vote
ATMOS
2007
15 years 9 months ago
2007
We face a real-world train unit assignment problem for an operator running trains in a regional area. Given a set of timetabled train trips, each with a required number of passenge...
206
click to vote
AAAI
2010
15 years 9 months ago
2010
Belief revision performs belief change on an agent's beliefs when new evidence (either of the form of a propositional formula or of the form of a total pre-order on a set of ...