12194 search results - page 361 / 2439 » cans 2010 |
122
click to vote
CMA
2010
15 years 4 months ago
2010
It is shown that the Clar number can be arbitrarily larger than the cardinality of a maximal alternating set. In particular, a maximal alternating set of a hexagonal system need n...
172
click to vote
COGCOM
2010
15 years 4 months ago
2010
Controlling cognitive systems like domestic robots or intelligent assistive environments requires striking an appropriate balance between responsiveness and persistence. Basic goal...
224
click to vote
CONSTRAINTS
2010
15 years 4 months ago
2010
The subgraph isomorphism problem consists in deciding if there exists a copy of a pattern graph in a target graph. We introduce in this paper a global constraint and an associated ...
183
click to vote
CONSTRAINTS
2010
15 years 4 months ago
2010
Abstract. Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different ...
213
click to vote
DEBU
2010
15 years 4 months ago
2010
Developing high-quality information extraction (IE) rules, or extractors, is an iterative and primarily manual process, extremely time consuming, and error prone. In each iteratio...