3256 search results - page 619 / 652 » Applications of Formal Methods to System Design and Verifica... |
69
Voted
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
Decision-theoretic models have become increasingly popular as a basis for solving agent and multiagent problems, due to their ability to quantify the complex uncertainty and prefe...
96
Voted
GECCO
2004
Springer
15 years 3 months ago
2004
Springer
Nowadays, large distributed databases are commonplace. Client applications increasingly rely on accessing objects from multiple remote hosts. The Internet itself is a huge network ...
85
Voted
IPSN
2004
Springer
15 years 3 months ago
2004
Springer
The performance of a sensor network may be best judged by the quality of application specific information return. The actual sensing performance of a deployed sensor network depe...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
The availability of effective management information is essential when coping with today’s complexity and dynamism, both within and around organizations. Information technology ...
123
Voted
MM
2003
ACM
15 years 2 months ago
2003
ACM
In this paper, we describe how a detail-on-demand representation for interactive video is used in video summarization. Our approach automatically generates a hypervideo composed o...