Sciweavers

212 search results - page 12 / 43
» Lazy Arc Consistency
Sort
View
NHM
2010
101views more  NHM 2010»
15 years 23 days 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
16 years 7 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
15 years 7 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
14 years 1 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
14 years 9 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...