1892 search results - page 191 / 379 » Warren's Abstract Machine |
177
click to vote
MLMI
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. This paper proposes an analysis technique for wide-band audio applications based on the predictability of the temporal evolution of Quadrature Mirror Filter (QMF) sub-ban...
147
click to vote
IPPS
2006
IEEE
16 years 15 days ago
2006
IEEE
In this paper we consider, compare and analyze three game theoretical Grid resource allocation mechanisms. Namely, 1) the non-cooperative sealed-bid method where tasks are auction...
154
click to vote
IROS
2006
IEEE
16 years 15 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...
158
click to vote
SEFM
2006
IEEE
16 years 14 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...
199
click to vote
TIME
2006
IEEE
16 years 14 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...