18429 search results - page 445 / 3686 » Typing dynamic typing |
182
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Cellular automata have been mainly studied for on very regular graphs carrying the cells (like lines or grids) and under synchronous dynamics (all cells update simultaneo...
191
click to vote
IJLT
2008
15 years 7 months ago
2008
: This paper addresses the challenge of enhancing social interaction through value-added connections among online community members engaged in knowledge exchange. We report on our ...
209
click to vote
ISOLA
2010
Springer
15 years 6 months ago
2010
Springer
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...
178
click to vote
ICRA
2007
IEEE
16 years 2 months ago
2007
IEEE
—This paper studies the capabilities of a microrobotic platform, driven by vibrating motors, to generate and impart micromanipulation forces of desired type and magnitude. First,...
201
click to vote
CP
2007
Springer
16 years 1 months ago
2007
Springer
Symmetry is an important factor in solving many constraint satisfaction problems. One common type of symmetry is when we have symmetric values. We can eliminate such value symmetr...