2850 search results - page 460 / 570 » On Timed Models and Full Abstraction |
125
click to vote
ECCV
2002
Springer
16 years 2 months ago
2002
Springer
Abstract. This paper proposes a solution for the automatic detection and tracking of human motion in image sequences. Due to the complexity of the human body and its motion, automa...
112
click to vote
ECWEB
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Recently, a trend towards business processes in Business-toBusiness e-Commerce (B2B) is apparent. One of the most promising approaches is UN/CEFACT’s modeling methodolo...
81
Voted
CSDA
2007
15 years 22 days ago
2007
Rainfall-Runoff and Signal Separation Problems: The process of converting rainfall into runoff is a highly nonlinear problem due to the soil-water interaction that starts when r...
110
click to vote
SAFECOMP
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
101
Voted
SIAMCOMP
2010
14 years 11 months ago
2010
We propose a general model of local property reconstruction. Suppose we have a function f on domain Γ, which is supposed to have a particular property P, but may not have the pro...