1701 search results - page 173 / 341 » Computer Science and State Machines |
Book
"The year 2009 marks the bicentennial of the birth of Abraham Lincoln, the nation’s 16th president, and the man often considered its greatest leader. As the United States en...
ECIR
2009
Springer
15 years 7 months ago
2009
Springer
Previous research on automatic image annotation has shown that accurate estimates of the class conditional densities in generative models have a positive effect in annotation perf...
LICS
2009
IEEE
15 years 5 months ago
2009
IEEE
In a constraint satisfaction problem (CSP) the goal is to find an assignment of a given set of variables subject to specified constraints. A global cardinality constraint is an ...
CALCO
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. This is a theoretical paper giving the extended Stone duality perspective on the recently discovered connection between duality theory as studied in non-classical logic a...
LICS
2006
IEEE
15 years 4 months ago
2006
IEEE
Automata on infinite objects are extensively used in system specification, verification, and synthesis. While some applications of the automata-theoretic approach have been wel...