5550 search results - page 1002 / 1110 » Different Approaches to Proof Systems |
212
click to vote
ICS
2005
Tsinghua U.
16 years 19 hour ago
2005
Tsinghua U.
Learning useful and predictable features from past workloads and exploiting them well is a major source of improvement in many operating system problems. We review known parallel ...
163
click to vote
ISLPED
2004
ACM
15 years 12 months ago
2004
ACM
The quadratic relationship between voltage and energy has made dynamic voltage scaling (DVS) one of the most powerful techniques to reduce system power demands. Recently, techniqu...
174
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
This paper presents a system for generating dynamic narratives from videos. These narratives are characterized for being compact, coherent and interactive, as inspired by principl...
233
click to vote
ISWC
1998
IEEE
15 years 10 months ago
1998
IEEE
system to date has served all of the needs of wearable computing--light weight, minimum effort, high power generation, convenient power delivery, and good power regulation. We beli...
150
click to vote
WSC
2007
15 years 8 months ago
2007
This paper describes the motivations, methods, and solution concepts for the use of ontologies for simulation model integration. Ontological analysis has been shown to be an effec...