Sciweavers

1953 search results - page 354 / 391
» Object Detection and Localization Using Local and Global Fea...
Sort
View
149
Voted
SCP
2002
112views more  SCP 2002»
15 years 2 months ago
Formal agent-oriented modeling with UML and graph transformation
The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy and cooperation. Mainstream object-oriented modeling techniques do not a...
Ralph Depke, Reiko Heckel, Jochen Malte Küste...
VC
2010
160views more  VC 2010»
15 years 28 days ago
A lightweight approach to repairing digitized polygon meshes
Abstract When designing novel algorithms for geometric processing and analysis, researchers often assume that the input conforms to several requirements. On the other hand, polygon...
Marco Attene
131
Voted
FSTTCS
2010
Springer
15 years 17 days ago
Model checking time-constrained scenario-based specifications
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
S. Akshay, Paul Gastin, Madhavan Mukund, K. Naraya...
ISVC
2009
Springer
15 years 9 months ago
Focused Volumetric Visual Hull with Color Extraction
Abstract. This paper introduces a new approach for volumetric visual hull reconstruction, using a voxel grid that focuses on the moving target object. This grid is continuously upd...
Daniel Knoblauch, Falko Kuester
123
Voted
ESSLLI
1999
Springer
15 years 6 months ago
Towards Discontinuous Grammar
This paper presents a grammar formalism in which constituent graphs are unions of a continuous surface tree and a discontinuous deep tree. The formalism has an object-oriented desi...
Matthias T. Kromann