4117 search results - page 668 / 824 » On the Satisfiability of Complex Constraints |
150
click to vote
TEI
2009
ACM
16 years 1 months ago
2009
ACM
In this paper we introduce a new way to interact intimately with an automated system. The Intimate Door Lock investigates the psychological effects of intimate humanhuman interact...
195
click to vote
CEC
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract— Target shape design optimization problem (TSDOP) is a miniature model for real world design optimization problems. It is proposed as a test bed to design and analyze op...
185
click to vote
ICRA
2007
IEEE
16 years 27 days ago
2007
IEEE
— We explore an on-line problem where a group of robots has to reach a target whose position is known in an unknown planar environment whose geometry is acquired by the robots du...
171
click to vote
CMSB
2007
Springer
16 years 23 days ago
2007
Springer
We explore some presynaptic mechanisms of the calyx of Held synapse through a stochastic model. The model, drawn from a kinetic approach developed in literature, exploits process c...
169
click to vote
ICPADS
2006
IEEE
16 years 19 days ago
2006
IEEE
One of the major factors that can potentially slow down widespread use of embedded chip multiprocessors is lack of efficient software support. In particular, automated code paral...