3779 search results - page 230 / 756 » Linear Consistency Testing |
168
click to vote
KI
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Knowledge compilation is a common technique for propositional logic knowledge bases. The idea is to transform a given knowledge base into a special normal form ([MR03],[D...
180
click to vote
HAPTICS
2006
IEEE
16 years 18 days ago
2006
IEEE
In this paper, we present a new portable force feedback device for surgery simulations. Dielectric elastomer spring roll linear actuators for this device were manufactured, and ch...
180
click to vote
ASM
2005
ASM
16 years 3 days ago
2005
ASM
Abstract. Exploration algorithms are relevant to the industrial practice of gentest cases from an abstract state machine whose runs define the predicted behavior of the software s...
195
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper investigates retiming and clock skew scheduling for improving the tolerance of synchronous circuits to delay variations. It is shown that when both long and short paths...
174
click to vote
SIGIR
1999
ACM
15 years 11 months ago
1999
ACM
This paper reports a controlled study with statistical signi cance tests on ve text categorization methods: the Support Vector Machines (SVM), a k-Nearest Neighbor (kNN) classi er...