24554 search results - page 278 / 4911 » Dependable distributed systems |
234
click to vote
3DICA
2000
15 years 7 months ago
2000
Towards photo-realistic 3D scene reconstruction from range and color images, we present a statistical technique for multimodal image registration. Statistical tools are employed t...
150
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
We present an improved, prescient, scheme to deliver pre-encoded video streams at very low latency. We dynamically manage the prediction dependency for a group of packets using a ...
161
click to vote
FROCOS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...
157
click to vote
DSN
2005
IEEE
16 years 3 days ago
2005
IEEE
User interfaces form a critical coupling between humans and computers. When the interface fails, the user fails, and the mission is lost. For example, in computer security applica...
187
click to vote
PADL
2004
Springer
15 years 12 months ago
2004
Springer
Gentzen’s Hauptsatz – cut elimination theorem – in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuition...