Sciweavers

675 search results - page 64 / 135
» Generating Business Process Models from Object Behavior Mode...
Sort
View
ICST
2009
IEEE
14 years 11 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
ICCV
2011
IEEE
14 years 1 months ago
N-best maximal decoders for part models
We describe a method for generating N-best configurations from part-based models, ensuring that they do not overlap according to some user-provided definition of overlap. We ext...
Dennis Park, Deva Ramanan
EDBT
2002
ACM
139views Database» more  EDBT 2002»
16 years 1 months ago
Aggregate Processing of Planar Points
Abstract. Aggregate window queries return summarized information about objects that fall inside a query rectangle (e.g., the number of objects instead of their concrete ids). Tradi...
Yufei Tao, Dimitris Papadias, Jun Zhang
SPATIALCOGNITION
2004
Springer
15 years 6 months ago
A Model for Context-Specific Route Directions
Wayfinding, i.e. getting from some origin to a destination, is one of the prime everyday problems humans encounter. It has received a lot of attention in research and many (commerc...
Kai-Florian Richter, Alexander Klippel
ICRA
2009
IEEE
174views Robotics» more  ICRA 2009»
15 years 8 months ago
Environment adapted active multi-focal vision system for object detection
— A biologically inspired foveated attention system in an object detection scenario is proposed. Thereby, a highperformance active multi-focal camera system imitates visual behav...
Tingting Xu, Hao Wu, Tianguang Zhang, Kolja Kü...