2940 search results - page 349 / 588 » Relational Parametricity and Control |
170
click to vote
DSD
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
161
click to vote
HAPTICS
2005
IEEE
16 years 5 days ago
2005
IEEE
Rendering stiff virtual objects remains a core challenge in the field of haptics. A study of this problem is presented, which relates the maximum achievable object stiffness to t...
159
click to vote
ICALT
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper introduces the MarkTool System – a software system designed to support formative assessment of open-ended written assignments. The MarkTool System brings together ser...
159
click to vote
ICRA
2005
IEEE
16 years 5 days ago
2005
IEEE
– We introduce a new method for synthesizing kinematics and Jacobian relationships for an important class of continuous backbone “continuum” robots. The resulting Jacobians e...
152
click to vote
MMM
2005
Springer
16 years 4 days ago
2005
Springer
This paper describes solutions for parallel video processing based on LAN-connected PC-like workstations. We outline application scenarios for the processing of video with broadca...