6960 search results - page 688 / 1392 » Continuity Analysis of Programs |
180
click to vote
ICRA
2002
IEEE
16 years 11 days ago
2002
IEEE
It is well known that antipodal grasps can be achieved on curved objects in the presence of friction. This paper presents an efficient algorithm that finds, up to numerical reso...
194
click to vote
CASES
2009
ACM
16 years 3 days ago
2009
ACM
Security of smart cards is continuously threatened by many software and hardware attacks. Those attacks focus on giving secret information that are stored in the card like PIN cod...
201
click to vote
HICSS
2000
IEEE
15 years 12 months ago
2000
IEEE
With the recent trend towards deregulating power systems around the world, transfer capability computation emerges as the key issue to a smoothly running power market with multipl...
158
click to vote
CP
2006
Springer
15 years 11 months ago
2006
Springer
el Nondeterministic Abstractions in C++ Laurent Michel1 , Andrew See1 , and Pascal Van Hentenryck2 1 University of Connecticut, Storrs, CT 06269-2155 2 Brown University, Box 1910, ...
198
click to vote
WSC
2007
15 years 9 months ago
2007
ExtendSim 7 is a proven simulation environment capable of modeling a wide range of systems. ExtendSim 7 is used to model continuous, discrete event, discrete rate, and agent based...