1796 search results - page 306 / 360 » An Approach to Compositional Model Checking |
ICML
2008
IEEE
14 years 8 months ago
2008
IEEE
In multiple instance learning (MIL), how the instances determine the bag-labels is an essential issue, both algorithmically and intrinsically. In this paper, we show that the mech...
EMMCVPR
2007
Springer
14 years 2 months ago
2007
Springer
Recognizing humans, estimating their pose and segmenting their body parts are key to high-level image understanding. Because humans are highly articulated, the range of deformation...
MIDDLEWARE
2005
Springer
14 years 1 months ago
2005
Springer
Service-oriented computing paradigm encourages the use of dynamic binding of application requirements to the resources needed to fulfill application tasks. Especially in pervasive...
AUTONOMICS
2008
ACM
13 years 10 months ago
2008
ACM
Autonomic Management capabilities become increasingly important for attaining functional and quality goals in software systems. Nonetheless, successful Autonomic Management soluti...
INFOSCALE
2007
ACM
13 years 9 months ago
2007
ACM
Service-Orientation (SO) is a design and integration paradigm that is based on the notion of well defined, loosely coupled services. Within SO, services are viewed as computation...