8 search results - page 2 / 2 » Counting Complexity Classes over the Reals I: The Additive C... |
KR
2010
Springer
13 years 10 months ago
2010
Springer
Horn fragments of Description Logics (DLs) have gained popularity because they provide a beneficial trade-off between expressive power and computational complexity and, more spec...
CASES
2006
ACM
13 years 11 months ago
2006
ACM
Designers of SoCs with non-digital components, such as analog or MEMS devices, can currently use high-level system design languages, such as SystemC, to model only the digital par...
ICRA
2008
IEEE
13 years 11 months ago
2008
IEEE
— Social robots face the fundamental challenge of detecting and adapting their behavior to the current social mood. For example, robots that assist teachers in early education mu...