2364 search results - page 408 / 473 » On O-Minimal Hybrid Systems |
189
click to vote
AC
2005
Springer
14 years 11 months ago
2005
Springer
Artificial intelligence has been an active branch of research for computer scientists and psychologists for 50 years. The concept of mimicking human intelligence in a computer fue...
106
click to vote
PVLDB
2010
14 years 10 months ago
2010
Keyword search (KWS) over relational databases has recently received significant attention. Many solutions and many prototypes have been developed. This task requires addressing ...
106
click to vote
CC
2003
Springer
15 years 5 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
112
click to vote
SOSP
2005
ACM
15 years 8 months ago
2005
ACM
Energy consumption has become an important issue in high-end data centers, and disk arrays are one of the largest energy consumers within them. Although several attempts have been...
112
click to vote
EMSOFT
2007
Springer
15 years 3 months ago
2007
Springer
This paper deals with energy-aware real-time system scheduling using dynamic voltage scaling (DVS) for energy-constrained embedded systems that execute variable and unpredictable ...