Sciweavers

5638 search results - page 997 / 1128
» On presence
Sort
View
PADL
2004
Springer
15 years 12 months ago
Symbolic Execution of Behavioral Requirements
Message Sequence Charts (MSC) have traditionally been used as a weak form of behavioral requirements in software design; they denote scenarios which may happen. Live Sequence Chart...
Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S....
PCM
2004
Springer
124views Multimedia» more  PCM 2004»
15 years 12 months ago
Audio-Assisted Video Browsing for DVD Recorders
We present an audio-assisted video browsing system for a Hard Disk Drive (HDD) enhanced DVD recorder. We focus on our sports highlights extraction based on audio classification. ...
Ajay Divakaran, Isao Otsuka, Regunathan Radhakrish...
PROMAS
2004
Springer
15 years 12 months ago
Coordinating Teams in Uncertain Environments: A Hybrid BDI-POMDP Approach
Distributed partially observable Markov decision problems (POMDPs) have emerged as a popular decision-theoretic approach for planning for multiagent teams, where it is imperative f...
Ranjit Nair, Milind Tambe
TCC
2004
Springer
164views Cryptology» more  TCC 2004»
15 years 12 months ago
Hierarchical Threshold Secret Sharing
We consider the problem of threshold secret sharing in groups with hierarchical structure. In such settings, the secret is shared among a group of participants that is partitioned ...
Tamir Tassa
VLDB
2004
ACM
93views Database» more  VLDB 2004»
15 years 12 months ago
Symmetric Relations and Cardinality-Bounded Multisets in Database Systems
In a binary symmetric relationship, A is related to B if and only if B is related to A. Symmetric relationships between k participating entities can be represented as multisets of...
Kenneth A. Ross, Julia Stoyanovich