10910 search results - page 2051 / 2182 » Input modeling using a computer algebra system |
ICIP
2003
IEEE
15 years 3 months ago
2003
IEEE
We propose a new algorithm for the real-time control of an interframe video coder operating with a variable rate channel such as wireless channels or the Internet. Using technique...
HAPTICS
2002
IEEE
15 years 2 months ago
2002
IEEE
Force feedback is widely assumed to enhance performance in robotic surgery, but its benefits have not yet been systematically assessed. In this study we examine the effects of for...
CONEXT
2007
ACM
15 years 1 months ago
2007
ACM
Community wireless mesh networks (WMNs) are increasingly being deployed for providing cheap, low maintenance Internet access. For the successful adoption of WMNs as a last-mile te...
FORMATS
2009
Springer
15 years 1 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
ICPR
2010
IEEE
15 years 1 months ago
2010
IEEE
The recognition and prediction of intersection situations and an accompanying threat assessment are an indispensable skill of future driver assistance systems. This study focuses o...