3690 search results - page 390 / 738 » Computation with classical sequents |
186
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
This paper extends the framework of dynamic influence diagrams (DIDs) to the multi-agent setting. DIDs are computational representations of the Partially Observable Markov Decisio...
161
Voted
DUX
2007
15 years 10 months ago
2007
Many researchers and practitioners in user experience design have turned towards social sciences to find ways to understand the social contexts in which both users and technologie...
179
click to vote
DCOSS
2006
Springer
15 years 10 months ago
2006
Springer
The paper studies the optimal placement of multiple cameras and the selection of the best subset of cameras for single target localization in the framework of sensor networks. The ...
213
click to vote
ACMSE
2008
ACM
15 years 8 months ago
2008
ACM
Firewalls provide very good network security features. However, classical perimeter firewall deployments suffer from limitations due to complex network topologies and the inabilit...
178
click to vote
IICAI
2003
15 years 8 months ago
2003
Computational Musicology is a new and emerging field which draws heavily from Computer Science, particularly Artificial Intelligence. Western Music has been under the gaze of thi...