Sciweavers

3053 search results - page 39 / 611
» Structured Objects: Modeling and Reasoning
Sort
View
ESOP
2006
Springer
15 years 5 months ago
A Verification Methodology for Model Fields
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
K. Rustan M. Leino, Peter Müller
ICCV
2011
IEEE
14 years 1 months ago
Superpixel Tracking
While numerous algorithms have been proposed for object tracking with demonstrated success, it remains a challenging problem for a tracker to handle large change in scale, motion,...
Shu Wang, Huchuan Lu, Fan Yang, Ming-Hsuan Yang
PUK
2000
15 years 2 months ago
OCL-Graph: Exploiting Object Structure in a Plan Graph Algorithm
In this paper we discuss and describe preliminary results of integrating two strands of planning research - that of using plan graphs to speed up planning, and that of using object...
Ron M. Simpson, T. L. McCluskey, Donghong Liu
ICCV
2007
IEEE
16 years 3 months ago
Learning Structured Appearance Models from Captioned Images of Cluttered Scenes
Given an unstructured collection of captioned images of cluttered scenes featuring a variety of objects, our goal is to learn both the names and appearances of the objects. Only a...
Michael Jamieson, Afsaneh Fazly, Sven J. Dickinson...
RE
1999
Springer
15 years 5 months ago
An Empirical Investigation of Multiple Viewpoint Reasoning in Requirements Engineering
Multiple viewpoints are often used in Requirements Engineering to facilitate traceability to stakeholders, to structure the requirements process, and to provide richer modelling b...
Tim Menzies, Steve M. Easterbrook, Bashar Nuseibeh...