Sciweavers

212 search results - page 12 / 43
» Lazy Arc Consistency
Sort
View
NHM
2010
101views more  NHM 2010»
13 years 2 months ago
Stars of vibrating strings: Switching boundary feedback stabilization
We consider a star-shaped network consisting of a single node with N 3 connected arcs. The dynamics on each arc is governed by the wave equation. The arcs are coupled at the node ...
Martin Gugat, Mario Sigalotti
ICPR
2000
IEEE
14 years 8 months ago
Improving Arc Detection in Graphics Recognition
In the context of graphics recognition, arc detection consists in the extraction of circles and arcs from the image of a graphics document or from the segments yielded by its vect...
Gérald Masini, Karl Tombre, Philippe Dosch
FLAIRS
2001
13 years 9 months ago
Nonbinary Constraint Satisfaction: From the Dual to the Primal
Nonbinaryconstraints haverecently beenstudiedquite extensivelysincethey representreal life problemsverynaturally. Specifically,extensionsto binaryarc consistencyinto generalised a...
Sivakumar Nagarajan, Scott D. Goodwin, Abdul Satta...
ESOP
2012
Springer
12 years 3 months ago
The Call-by-Need Lambda Calculus, Revisited
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
Stephen Chang, Matthias Felleisen
ICANN
2011
Springer
12 years 11 months ago
Temperature Prediction in Electric Arc Furnace with Neural Network Tree
Abstract. This paper presents a neural network tree regression system with dynamic optimization of input variable transformations and post-training optimization. The decision tree ...
Miroslaw Kordos, Marcin Blachnik, Tadeusz Wieczore...