2018 search results - page 243 / 404 » Code Normal Forms |
101
click to vote
IROS
2006
IEEE
15 years 8 months ago
2006
IEEE
– We report position and force detection thresholds for sinusoidal waveforms in the frequency range 10-500 Hz delivered through a stylus. The participants were required to hold t...
121
click to vote
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
101
click to vote
ASSETS
2006
ACM
15 years 8 months ago
2006
ACM
This paper describes iNetSim, a universally accessible network simulator, created to allow vision-impaired and sighted users to complete Cisco Certified Network Associate level tw...
137
click to vote
HASKELL
2006
ACM
15 years 8 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
125
click to vote
IPPS
2005
IEEE
15 years 7 months ago
2005
IEEE
Most of current peer-to-peer designs build their own system overlays independent of the physical one. Nodes within unstructured systems form a random overlay, on the contrary, str...