Sciweavers

2774 search results - page 273 / 555
» Exploiting Deep Structure
Sort
View
SEFM
2007
IEEE
16 years 28 days ago
Disciplining Orchestration and Conversation in Service-Oriented Computing
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
Ivan Lanese, Francisco Martins, Vasco Thudichum Va...
WACV
2007
IEEE
16 years 28 days ago
Homography-based Analysis of People and Vehicle Activities in Crowded Scenes
This paper presents an new framework for homographybased analysis of pedestrian-vehicle activity in crowded scenes. Planar homography constraint is exploited to extract view-invar...
Sangho Park, Mohan M. Trivedi
CSCLP
2007
Springer
16 years 25 days ago
A Global Filtration for Satisfying Goals in Mutual Exclusion Networks
We formulate a problem of goal satisfaction in mutex networks in this paper. The proposed problem is motivated by problems that arise in concurrent planning. For more efficient sol...
Pavel Surynek
ECAL
2007
Springer
16 years 25 days ago
PLAZZMID: An Evolutionary Agent-Based Architecture Inspired by Bacteria and Bees
Abstract. Classical evolutionary algorithms have been extremely successful at solving certain problems. But they implement a very simple model of evolutionary biology that misses o...
Susan Stepney, Tim Clarke, Peter Young
HYBRID
2007
Springer
16 years 25 days ago
Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
This work investigates some of the computational issues involved in the solution of probabilistic reachability problems for discretetime, controlled stochastic hybrid systems. It i...
Alessandro Abate, Saurabh Amin, Maria Prandini, Jo...