2016 search results - page 176 / 404 » Some observations on HC-128 |
160
click to vote
CCR
2004
15 years 6 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
201
click to vote
COGSCI
2004
15 years 6 months ago
2004
Previous research suggests that children can infer causal relations from patterns of events. However, what appear to be cases of causal inference may simply reduce to children rec...
179
click to vote
COMPUTER
2004
15 years 6 months ago
2004
highly abstracted. The Chinese writing system uses logographs--conventional representations of words or morphemes. Characters of the most common kind have two parts, one suggesting...
171
click to vote
BC
2000
15 years 6 months ago
2000
This paper considers interaction of the human arm with ``virtual'' objects simulated mechanically by a planar robot. Haptic perception of spatial properties of objects is...
177
click to vote
CG
2002
Springer
15 years 6 months ago
2002
Springer
Weather is one of the major causes of aviation accidents. General aviation (GA) flights account for 92% of all the aviation accidents. In spite of all the official and unofficial ...