1581 search results - page 264 / 317 » Mechanizing Inductive Reasoning |
ALIFE
2004
14 years 11 months ago
2004
Toys and play-things are often engineered to replicate the character of real organisms. In the past, inventors often lavished great expense on their life-like automata, their cons...
BC
2000
14 years 11 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...
ENTCS
2002
14 years 11 months ago
2002
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
103
click to vote
JCC
2002
14 years 11 months ago
2002
: Constant dielectric (CD) and distance-dependent dielectric (DDD) functions are the most popular and widespread in the Molecular Mechanics simulations of large molecular systems. ...
116
click to vote
ESWA
2008
14 years 11 months ago
2008
The severe competition in the market has driven enterprises to produce a wider variety of products to meet consumers' needs. However, frequent variation of product specificat...