34229 search results - page 72 / 6846 » Power-aware computing systems |
JCIT
2007
13 years 10 months ago
2007
The Rough Sets theory has been conceived to deal with inexact, uncertain or vague knowledge in Information systems. The article is devoted to propose notions including the general...
IFM
2010
Springer
2010
Springer
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
13 years 8 months ago
Stochastic satisfiability modulo theories (SSMT), which is an extension of satisfiability modulo theories with randomized quantification, has successfully been used as a symboli...
EVOW
2009
Springer
14 years 4 months ago
2009
Springer
This paper investigates the role of humor in non-task oriented (topic restriction free) human-computer dialogue, as well as the correlation between humor and emotions elicited by i...
ICDCS
2008
IEEE
14 years 4 months ago
2008
IEEE
— Checkpointing is an indispensable technique to provide fault tolerance for long-running high-throughput applications like those running on desktop grids. This paper argues that...
ICARIS
2003
Springer
14 years 3 months ago
2003
Springer
The UK Grand Challenges for Computing Research is an initiative to map out certain key areas that could be used to help drive research over the next 10–15 years. One of the ident...