Sciweavers

2546 search results - page 359 / 510
» Designing the Future
Sort
View
115
Voted
TPHOL
2007
IEEE
15 years 11 months ago
Separation Logic for Small-Step cminor
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
Andrew W. Appel, Sandrine Blazy
147
Voted
VR
2007
IEEE
15 years 11 months ago
Variability-Aware Latency Amelioration in Distributed Environments
Application designers of collaborative distributed Virtual Environments must account for the influence of the network connection and its detrimental effects on user performance. ...
Alexey Tumanov, Robert S. Allison, Wolfgang St&uum...
IROS
2007
IEEE
139views Robotics» more  IROS 2007»
15 years 10 months ago
Geometric motion estimation and control for robotic-assisted beating-heart surgery
— One of the potential benefits of robotic systems in cardiac surgery is that their use can increase the number of possible off-pump (beating heart) coronary artery bypass graft...
Vincent Duindam, Shankar Sastry
CICLING
2007
Springer
15 years 10 months ago
Finite-State Technology as a Programming Environment
Finite-state technology is considered the preferred model for representing the phonology and morphology of natural languages. The attractiveness of this technology for natural lang...
Shuly Wintner
126
Voted
DRM
2007
Springer
15 years 10 months ago
Digital rights management: desirable, inevitable, and almost irrelevant
provides a very brief overview of some of the main points. References are given to my papers, where those points are explained in more detail, and citations are provided to the ext...
Andrew M. Odlyzko