Sciweavers

9730 search results - page 319 / 1946
» Relating models of backtracking
Sort
View
141
Voted
CORR
2010
Springer
108views Education» more  CORR 2010»
15 years 2 months ago
Affine Invariant, Model-Based Object Recognition Using Robust Metrics and Bayesian Statistics
We revisit the problem of model-based object recognition for intensity images and attempt to address some of the shortcomings of existing Bayesian methods, such as unsuitable prior...
Vasileios Zografos, Bernard F. Buxton

Lab
815views
16 years 8 months ago
Video/Image Modeling and Synthesis (VIMS) Lab
VIMS Lab is situated in Department of Computer & Information Sc, University of Delaware, Newark, DE. USA. At VIMS we work on various problems related to image/video processing...
ESOP
2010
Springer
16 years 2 months ago
Parameterized Memory Models and Concurrent Separation Logic
Formal reasoning about concurrent programs is usually done with the assumption that the underlying memory model is sequentially consistent, i.e. the execution outcome is equivalen...
Rodrigo Ferreira, Xinyu Feng and Zhong Shao
EDBT
2000
ACM
15 years 8 months ago
A Data Model for Effectively Computable Functions
the research activities. This abstract is to introduce the approach of a data model - EP data model. Its data structure is able to store as a finite set of nodes arbitrary effectiv...
Kevin H. Xu
151
Voted
MSE
2002
IEEE
133views Hardware» more  MSE 2002»
15 years 10 months ago
ACTIVe3D-WS: A Web-Services Based Multimedia Platform
In this paper, we present ACTIVe3D-Build, an electronic platform for the management of civil engineering projects. This platform is the result of a research that aims to represent...
Jean-Claude Simon, Christophe Cruz, Christophe Nic...