3305 search results - page 177 / 661 » Can we Rely on SQL |
CHI
2009
ACM
14 years 11 months ago
2009
ACM
News aggregators rely on links and users votes to select and present subsets of the large quantity of news and opinion items generated each day. Opinion diversity in the output se...
CHI
2005
ACM
14 years 11 months ago
2005
ACM
Guessability is essential for symbolic input, in which users enter gestures or keywords to indicate characters or commands, or rely on labels or icons to access features. We prese...
VLSID
2002
IEEE
14 years 11 months ago
2002
IEEE
We propose the redundancy identification of wire replacement faults. The solutions rely on the satisfiability (SAT) formulation of redundancy identification, augmented with the me...
CADE
2006
Springer
14 years 11 months ago
2006
Springer
The nominal datatype package implements an infrastructure in Isabelle/HOL for defining languages involving binders and for reasoning conveniently about alpha-equivalence classes. P...
ICIAP
2007
ACM
14 years 10 months ago
2007
ACM
We address the synchronization of a pair of video sequences captured from moving vehicles and the spatial registration of all the temporally corresponding frames. This is necessar...