5084 search results - page 673 / 1017 » Proving Possibility Properties |
159
click to vote
DSN
2003
IEEE
16 years 2 days ago
2003
IEEE
Software-based active replication is expensive in terms of performance overhead. Multithreading can help improve performance; however, thread scheduling is a source of nondetermin...
172
click to vote
ICDM
2003
IEEE
16 years 2 days ago
2003
IEEE
Automatic classification of documents is an important area of research with many applications in the fields of document searching, forensics and others. Methods to perform class...
162
click to vote
ICRA
2003
IEEE
16 years 1 days ago
2003
IEEE
— We present an O(n log1+ε n)-time algorithm for computing the optimal robot motion that maintains lineof-sight visibility between a target moving inside a polygon with n vertic...
135
click to vote
ISCAS
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper presents the preliminary design and experimental results of a standard AA size vibration-induced micro energy transducer which is integrated with a power-management cir...
173
click to vote
IUI
2003
ACM
16 years 22 hour ago
2003
ACM
We present a probabilistic model, based on Dynamic Decision Networks, to assess user affect from possible causes of emotional arousal. The model relies on the OCC cognitive theory...