2765 search results - page 319 / 553 » Works and representation |
178
click to vote
HASKELL
2006
ACM
16 years 18 days ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
185
Voted
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
178
click to vote
WINE
2005
Springer
16 years 3 days ago
2005
Springer
We consider a class of networks where n agents need to send their traffic from a given source to a given destination over m identical, non-intersecting, and parallel links. For suc...
210
click to vote
ECCV
2010
Springer
15 years 12 months ago
2010
Springer
We present an analysis of the spatial covariance structure of an articulated motion prior in which joint angles have a known covariance structure. From this, a well-known, but ofte...
195
click to vote
MIR
2010
ACM
15 years 12 months ago
2010
ACM
In developing automated systems to recognize the emotional content of music, we are faced with a problem spanning two disparate domains: the space of human emotions and the acoust...