1562 search results - page 91 / 313 » Convenience Over Correctness |
HOTOS
2007
IEEE
14 years 1 months ago
2007
IEEE
We propose a new concurrent programming model, Automatic Mutual Exclusion (AME). In contrast to lock-based programming, and to other programming models built over software transac...
ICDE
2008
IEEE
14 years 10 months ago
2008
IEEE
Abstract- Given a dynamic corpus whose content and attention are changing on a daily basis, is it possible to collect and maintain the high-quality resources with a minimal investm...
ICIP
2009
IEEE
14 years 10 months ago
2009
IEEE
Face recognition has many important practical applications, like surveillance and access control. It is concerned with the problem of correctly identifying face images and assigni...
CHI
2008
ACM
14 years 9 months ago
2008
ACM
Unistrokes and Graffiti are stylus-based text entry techniques. While Unistrokes is recognized in academia, Graffiti is commercially prevalent in PDAs. Though numerous studies hav...
CADE
2001
Springer
14 years 9 months ago
2001
Springer
Abstract. This paper presents a technique for automated theorem proving with free variable tableaux that does not require backtracking. Most existing automated proof procedures usi...