4098 search results - page 701 / 820 » Sound mobility models |
146
click to vote
SIGIR
2009
ACM
15 years 10 months ago
2009
ACM
With the continuing advances in data storage and communication technology, there has been an explosive growth of music information from different application domains. As an effe...
162
click to vote
ECAL
2007
Springer
15 years 10 months ago
2007
Springer
Language can be viewed as a complex adaptive system which is continuously shaped and reshaped by the actions of its users as they try to solve communicative problems. To maintain c...
136
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
139
click to vote
SEFM
2006
IEEE
15 years 10 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
149
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...