Sciweavers

1548 search results - page 164 / 310
» Computational Approaches to Sentence Completion
Sort
View
DICTA
2003
13 years 10 months ago
A New Shape Matching Measure for Nonlinear Distorted Object Recognition
In this paper, we present a new approach for hand-written character and digit recognitions based on shape descriptor and the Hausdorff Context. We start at finding the correspondi...
Sanun Srisuk, Marut Tamsri, Rerkchai Fooprateepsir...
CGF
2006
177views more  CGF 2006»
13 years 9 months ago
Direct (Re)Meshing for Efficient Surface Processing
We propose a novel surface remeshing algorithm. While many remeshing algorithms are based on global parametrization or local mesh optimization, our algorithm is closely related to...
John M. Schreiner, Carlos Eduardo Scheidegger, Sha...
IMAMCI
2007
70views more  IMAMCI 2007»
13 years 8 months ago
On the geometry of stability regions of Smith predictors subject to delay uncertainty
In this paper, we present a geometric method for describing the effects of the delay induced uncertainty on the stability of a standard Smith Predictor control scheme. The method...
Constantin-Irinel Morarescu, Silviu-Iulian Nicules...
JLP
2000
134views more  JLP 2000»
13 years 8 months ago
Abducing through negation as failure: stable models within the independent choice logic
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...
David Poole
ICALP
2011
Springer
13 years 12 days ago
Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation
act Interpretation SILVIA CRAFA FRANCESCO RANZATO University of Padova, Italy We show how bisimulation equivalence and simulation preorder on probabilistic LTSs (PLTSs), namely the...
Silvia Crafa, Francesco Ranzato