2196 search results - page 112 / 440 » Practical Reasoning Using Values |
130
click to vote
INTERACT
2003
15 years 7 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...
189
click to vote
SOFSEM
2012
Springer
14 years 2 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...
172
click to vote
SMA
2009
ACM
16 years 1 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...
174
click to vote
SIGCOMM
2006
ACM
16 years 14 days 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...
274
click to vote
ICDE
1998
IEEE
16 years 7 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...