Sciweavers

9166 search results - page 263 / 1834
» A framework for comparing models of computation
Sort
View
ICRA
2010
IEEE
132views Robotics» more  ICRA 2010»
15 years 3 months ago
Sampling-based motion planning with temporal goals
Abstract— This paper presents a geometry-based, multilayered synergistic approach to solve motion planning problems for mobile robots involving temporal goals. The temporal goals...
Amit Bhatia, Lydia E. Kavraki, Moshe Y. Vardi
ICSOC
2009
Springer
15 years 11 months ago
Evaluating Contract Compatibility for Service Composition in the SeCO2 Framework
Recently, the Software-as-a-Service (SaaS) model has been increasingly supported, becoming a major part of the new emerging cloud computing paradigms. Although SaaS exists in diff...
Marco Comerio, Hong Linh Truong, Flavio De Paoli, ...
WORM
2003
15 years 5 months ago
Worm anatomy and model
We present a general framework for reasoning about network worms and analyzing the potency of worms within a specific network. First, we present a discussion of the life cycle of ...
Dan Ellis
SDM
2009
SIAM
223views Data Mining» more  SDM 2009»
16 years 1 months ago
Context Aware Trace Clustering: Towards Improving Process Mining Results.
Process Mining refers to the extraction of process models from event logs. Real-life processes tend to be less structured and more flexible. Traditional process mining algorithms...
R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aa...
JIRS
2007
116views more  JIRS 2007»
15 years 4 months ago
Recognition of Human Motion From Qualitative Normalised Templates
Abstract This paper proposes a Qualitative Normalised Templates (QNTs) framework for solving the human motion classification problem. In contrast to other human motion classifica...
Chee Seng Chan, Honghai Liu, David J. Brown