130 search results - page 22 / 26 » Algorithmic Algebraic Model Checking I: Challenges from Syst... |
113
click to vote
PLDI
2011
ACM
14 years 13 days ago
2011
ACM
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...
ICPR
2004
IEEE
15 years 10 months ago
2004
IEEE
The problem of automatic recognition of human activities is among the most important and challenging open areas of research in Computer Vision. This paper presents a new approach ...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
An important aspect of mechanism design in social choice protocols and multiagent systems is to discourage insincere and manipulative behaviour. We examine the computational compl...
103
Voted
KDD
2005
ACM
15 years 10 months ago
2005
ACM
Discriminative sequential learning models like Conditional Random Fields (CRFs) have achieved significant success in several areas such as natural language processing, information...
118
click to vote
ICMI
2004
Springer
15 years 3 months ago
2004
Springer
Visual information has been shown to improve the performance of speech recognition systems in noisy acoustic environments. However, most audio-visual speech recognizers rely on a ...