Sciweavers

3954 search results - page 246 / 791
» Image-based Model Completion
Sort
View
ICPR
2000
IEEE
15 years 11 months ago
Nonparametric Markov Random Field Model Analysis of the MeasTex Test Suite
This paper looks at the nonparametric, multiscale, Markov Random Field (MRF) model and its application in classifying the MeasTex Test Suite. The MeasTex Test Suite is a standard ...
Rupert Paget, I. Dennis Longstaff
SRDS
2000
IEEE
15 years 11 months ago
Modeling Fault-Tolerant Mobile Agent Execution as a Sequence of Agreement Problems
Fault-tolerance is fundamental to the further development of mobile agent applications. In the context of mobile agents, fault-tolerance prevents a partial or complete loss of the...
Stefan Pleisch, André Schiper
ICMCS
1999
IEEE
117views Multimedia» more  ICMCS 1999»
15 years 10 months ago
VHS to VRML: 3D Graphical Models from Video Sequences
Abstract-- We describe a method to completely automatically recover 3D scene structure together with a camera for each frame from a sequence of images acquired by an unknown camera...
Andrew Zisserman, Andrew W. Fitzgibbon, Geoffrey C...
WCRE
1998
IEEE
15 years 10 months ago
Requirements for Integrating Software Architecture and Reengineering Models: CORUM II
This paper discusses the requirements and a generic framework for the integration of architectural and codebased reengineering tools. This framework is needed because there is a l...
Rick Kazman, Steven S. Woods, S. Jeromy Carri&egra...
CAV
2009
Springer
239views Hardware» more  CAV 2009»
15 years 10 months ago
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
Alessio Lomuscio, Hongyang Qu, Franco Raimondi