6279 search results - page 61 / 1256 » Objects as session-typed processes |
125
click to vote
ISMIR
2001
Springer
15 years 9 months ago
2001
Springer
The focus of this paper is on the design and use of a music score representation. The structure of the representation is discussed and illustrated with sample algorithms, includin...
146
click to vote
UAI
2008
15 years 6 months ago
2008
Nonparametric Bayesian models are often based on the assumption that the objects being modeled are exchangeable. While appropriate in some applications (e.g., bag-ofwords models f...
147
click to vote
ROOM
2000
15 years 6 months ago
2000
This paper is a proposal for a new two-tier calculus, designed to model aspects of CORBA-like systems at the CORBA evel. The higher object level known as Oompa abstracts away from...
152
click to vote
FOCS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper proves ¡ £ ¥ lower bounds on the time to perform a single instance of an operation in any implementation of a large class of data structures shared by £ processe...
154
click to vote
PAMI
2002
15 years 4 months ago
2002
We introduce a formalism for optimal sensor parameter selection for iterative state estimation in static systems. Our optimality criterion is the reduction of uncertainty in the st...