2196 search results - page 112 / 440 » Practical Reasoning Using Values |
INTERACT
2003
15 years 3 months ago
2003
: It is known that graphic interfaces using electromyogram (EMG) generated by wrist motion are a potentially viable for a wearable computer. However, these interface prototypes see...
142
Voted
SOFSEM
2012
Springer
13 years 10 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
123
click to vote
SMA
2009
ACM
15 years 9 months ago
2009
ACM
We present practical algorithms for accelerating geometric queries on models made of NURBS surfaces using programmable Graphics Processing Units (GPUs). We provide a generalized f...
125
click to vote
SIGCOMM
2006
ACM
15 years 8 months ago
2006
ACM
Researchers have proposed a variety of metrics to measure important graph properties, for instance, in social, biological, and computer networks. Values for a particular graph met...
213
click to vote
ICDE
1998
IEEE
16 years 3 months ago
1998
IEEE
Discovery of functionaldependencies from relations has been identified as an important database analysis technique. In this paper, we present a new approach for finding functional...