3470 search results - page 662 / 694 » Head-Elementary-Set-Free Logic Programs |
104
Voted
ICTAI
2008
IEEE
15 years 7 months ago
2008
IEEE
Boolean satisfiability (SAT) finds a wide range of practical applications, including Artificial Intelligence and, more recently, Bioinformatics. Although encoding some combinat...
124
Voted
ISQED
2008
IEEE
15 years 7 months ago
2008
IEEE
—Power and energy consumption has emerged as the premier and most constraining aspect in modern computational systems. Dynamic Voltage Scheduling (DVS) has been provably one of t...
103
Voted
AIMSA
2008
Springer
15 years 7 months ago
2008
Springer
Relational instance-based learning (RIBL) algorithms offer high prediction capabilities. However, they do not scale up well, specially in domains where there is a time bound for c...
105
Voted
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— Tightly-coupled multi-agent systems such as modular robots frequently exhibit properties of interest that span multiple modules. These properties cannot easily be detec...
131
Voted
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE
We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolea...