7742 search results - page 1235 / 1549 » The Robustness of Level Sets |
185
click to vote
QEST
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
178
click to vote
RTCSA
2006
IEEE
16 years 22 days ago
2006
IEEE
(m,k)-firm constraints have been used to schedule tasks in soft/firm real-time systems under overloaded conditions. In general, they are provided by application designers to guara...
169
click to vote
WETICE
2006
IEEE
16 years 22 days ago
2006
IEEE
1 Distributed and collaborative applications are rapidly converging towards the adoption of a computing paradigm based on service-oriented architectures, according to which an appl...
185
click to vote
ACCV
2006
Springer
16 years 22 days ago
2006
Springer
Recovering the pose of a person from single images is a challenging problem. This paper discusses a bottom-up approach that uses local image features to estimate human upper body p...
192
click to vote
ADC
2006
Springer
16 years 22 days ago
2006
Springer
Business process management (BPM) has emerged as a dominant technology in current enterprise systems and business solutions. However, the technology continues to face challenges i...