4903 search results - page 566 / 981 » The Set Covering Machine |
146
click to vote
DSVIS
2003
Springer
16 years 2 days ago
2003
Springer
The way people use computers has changed in recent years, from desktop single-machine settings to many computers and personal assistants in widely different contexts. Personal Docu...
150
click to vote
HYBRID
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. In this paper we show how hybrid control and modeling techniques can be put to work for solving a problem of industrial relevance in Surface Mount Technology (SMT) manufa...
200
click to vote
ASP
2001
Springer
15 years 11 months ago
2001
Springer
Being able to declaratively specify control within a planning (or theorem-proving) paradigm is necessary if we are to build intelligent machines. This paper introduces an implemen...
198
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
167
click to vote
SPIRE
2000
Springer
15 years 10 months ago
2000
Springer
We present new search algorithms to detect the occurrences of any pattern from a given pattern set in a text, allowing in the occurrences a limited number of spurious text charact...