4507 search results - page 315 / 902 » Generalized Binet dynamics |
163
click to vote
ECSQARU
2007
Springer
16 years 24 days ago
2007
Springer
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...
192
click to vote
AICCSA
2006
IEEE
16 years 21 days ago
2006
IEEE
The increased complexity, heterogeneity and the dynamism of networked systems and services make current control and management tools to be ineffective in managing and securing suc...
170
click to vote
MM
2006
ACM
16 years 18 days ago
2006
ACM
We present a framework to synchronize pop music to corresponding text lyric. We refine line level alignment achievable by existing work to syllabic level by using a dynamic progra...
169
click to vote
IUI
2005
ACM
16 years 6 days ago
2005
ACM
Pinpoint is a promising first step towards using a rich model of task context in proactive and dynamic IR systems. Pinpoint allows a user to navigate decision tree representations...
167
click to vote
EUROPAR
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...