9504 search results - page 1570 / 1901 » Dynamic Substitution Model |
154
Voted
MIR
2006
ACM
16 years 2 days ago
2006
ACM
We present a general approach for automatically matching electronic slides to videos of corresponding presentations for use in distance learning and video proceedings of conferenc...
159
click to vote
MSWIM
2006
ACM
16 years 2 days ago
2006
ACM
Security is a critical issue in mobile commerce, especially in mobile database systems since mobile environments are dynamic and traditional protection mechanisms do not work very...
179
click to vote
CSB
2005
IEEE
15 years 11 months ago
2005
IEEE
Searching genomes for RNA secondary structure with computational methods has become an important approach to the annotation of non-coding RNAs. However, due to the lack of effici...
156
click to vote
CEEMAS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In update logic the interpretation of an action is often assumed to be independent from the agents’ beliefs about the situation (see [BMS04] or [Auc05]). In this paper ...
155
Voted
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...