1022 search results - page 122 / 205 » Stable models and circumscription |
262
Voted
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
As a novel, grand AI challenge, General Game Playing is concerned with the development of systems that understand the rules of unknown games and play these games well without human...
145
Voted
VLSID
2002
IEEE
16 years 5 months ago
2002
IEEE
- This work presents accurate closed-form expressions for the interconnect energy dissipation in high-speed ULSI circuits. Unlike previous works, the energy is calculated using an ...
123
click to vote
CVPR
2010
IEEE
16 years 27 days ago
2010
IEEE
We analyze a previously unexplored generalization of the scalar total variation to vector-valued functions, which is motivated by geometric measure theory. A complete mathematical...
330
Voted
CVPR
2010
IEEE
16 years 23 days ago
2010
IEEE
We introduce a morphological approach to curve evolution. The
differential operators used in the standard PDE snake models can be
approached using morphological operations...
131
click to vote
STACS
2010
Springer
15 years 11 months ago
2010
Springer
A cellular automaton (CA) is a parallel synchronous computing model, which consists in a juxtaposition of finite automata (cells) whose state evolves according to that of their ne...