1892 search results - page 191 / 379 » Warren's Abstract Machine |
142
Voted
MLMI
2007
Springer
15 years 10 months 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...
111
click to vote
IPPS
2006
IEEE
15 years 10 months 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...
124
Voted
IROS
2006
IEEE
15 years 10 months 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...
125
click to vote
SEFM
2006
IEEE
15 years 10 months 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...
163
click to vote
TIME
2006
IEEE
15 years 10 months 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...