4520 search results - page 114 / 904 » Algebraic Techniques for Timed Systems |
184
click to vote
CGF
2010
15 years 6 months ago
2010
Molecular surfaces play an important role in studying the interactions between molecules. Visualizing the dynamic behavior of molecules is particularly interesting to gain insight...
186
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
176
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
This paper proposes a novel framework for up-conversion of depth video resolution both in spatial and in time domain. Time-of-Flight (TOF) sensors are widely used in computer visi...
187
click to vote
NOSSDAV
2004
Springer
15 years 11 months ago
2004
Springer
Retransmission can be used for loss recovery in continuous media applications but the number of retransmission attempts is bounded by the size of the playout buffer. For efficient...
182
click to vote
ASPDAC
1998
ACM
15 years 10 months ago
1998
ACM
Functional debugging often dominates the time and cost of the ASIC system development, mainly due to the limited controllability and observability of the storage elements in desig...