Sciweavers

2638 search results - page 364 / 528
» A Framework for Automatic Debugging
Sort
View
DEXAW
2006
IEEE
138views Database» more  DEXAW 2006»
15 years 10 months ago
Lightweight Ontology-Based Service Discovery in Mobile Environments
The current ever-growing evolution of mobile technologies suggests the possibility of accessing services, in an itinerant and ubiquitous way, through many kinds of mobile devices ...
Devis Bianchini, Valeria De Antonellis, Michele Me...
ECCV
2006
Springer
15 years 10 months ago
Learning Semantic Scene Models by Trajectory Analysis
Abstract. In this paper, we describe an unsupervised learning framework to segment a scene into semantic regions and to build semantic scene models from longterm observations of mo...
Xiaogang Wang, Kinh Tieu, Eric Grimson
WFLP
2000
Springer
124views Algorithms» more  WFLP 2000»
15 years 10 months ago
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
Elvira Albert, Sergio Antoy, Germán Vidal
ECCV
2010
Springer
15 years 10 months ago
Modeling Temporal Structure of Decomposable Motion Segments for Activity Classification
Abstract. Much recent research in human activity recognition has focused on the problem of recognizing simple repetitive (walking, running, waving) and punctual actions (sitting up...
ECOOP
2010
Springer
15 years 10 months ago
Verifying Executable Object-Oriented Specifications with Separation Logic
Specifications of Object-Oriented programs conventionally employ Boolean expressions of the programming language for assertions. Programming errors can be discovered by checking at...
Stephan van Staden, Cristiano Calcagno, Bertrand M...