Sciweavers

8486 search results - page 209 / 1698
» Ordered Enumeration Method
Sort
View
CAV
2006
Springer
120views Hardware» more  CAV 2006»
14 years 2 months ago
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
Koushik Sen, Mahesh Viswanathan
WSCG
2004
149views more  WSCG 2004»
14 years 4 days ago
Depth Detection Through Interpolation Functions: A New Method
There are some different methods used for depth perception. In this paper, a new method for the depth perception, by using a single camera based on an interpolation, is introduced...
Mahdi Mirzabaki
COMBINATORICS
2006
124views more  COMBINATORICS 2006»
13 years 10 months ago
A Hybrid of Darboux's Method and Singularity Analysis in Combinatorial Asymptotics
A "hybrid method", dedicated to asymptotic coefficient extraction in combinatorial generating functions, is presented, which combines Darboux's method and singulari...
Philippe Flajolet, Éric Fusy, Xavier Gourdo...
JSCIC
2008
62views more  JSCIC 2008»
13 years 10 months ago
Robustness of a Spline Element Method with Constraints
The spline element method with constraints is a discretization method where the unknowns are expanded as polynomials on each element and Lagrange multipliers are used to enforce th...
Gerard Awanou
JUCS
2008
139views more  JUCS 2008»
13 years 10 months ago
A Progressive Learning Method for Symbol Recognition
: This paper deals with a progressive learning method for symbol recognition which improves its own recognition rate when new symbols are recognized in graphic documents. We propos...
Sabine Barrat, Salvatore Tabbone