2303 search results - page 274 / 461 » The Cryptographic Abstract Machine |
153
click to vote
IROS
2006
IEEE
16 years 12 days ago
2006
IEEE
Abstract— Tying suture knots is a time-consuming task performed frequently during Minimally Invasive Surgery (MIS). Automating this task could greatly reduce total surgery time f...
156
click to vote
SEFM
2006
IEEE
16 years 12 days ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
194
click to vote
TIME
2006
IEEE
16 years 12 days ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
169
click to vote
ASPDAC
2006
ACM
16 years 11 days ago
2006
ACM
Abstract— Many of today’s data-intensive applications manipulate disk-resident data sets. As a result, their overall behavior is tightly coupled with their disk performance. Un...
161
click to vote
ML
2006
ACM
16 years 10 days ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...