Sciweavers

1288 search results - page 144 / 258
» Visual Generalization in Programming by Example
Sort
View
CORR
2011
Springer
155views Education» more  CORR 2011»
14 years 6 months ago
On the Generation of Positivstellensatz Witnesses in Degenerate Cases
One can reduce the problem of proving that a polynomial is nonnegative, or more generally of proving that a system of polynomial inequalities has no solutions, to finding polynomi...
David Monniaux, Pierre Corbineau
MATES
2004
Springer
15 years 8 months ago
The Emergence of Social Order in a Robotic Society.
The article presents a general model of the emergence of social order in multi-agent-systems (MAS). The agents consist of two types of neural networks that have the task to generat...
Jürgen Klüver, Maarten Sierhuis, Christi...
COR
2006
94views more  COR 2006»
15 years 3 months ago
A comparison of two different formulations for arc routing problems on mixed graphs
Arc Routing Problems on mixed graphs have been modelled in the literature either using just one variable per edge or associating to each edge two variables, each one representing ...
Angel Corberán, Enrique Mota, José M...
TNN
2010
182views Management» more  TNN 2010»
14 years 9 months ago
A discrete-time neural network for optimization problems with hybrid constraints
Abstract--Recurrent neural networks have become a prominent tool for optimizations including linear or nonlinear variational inequalities and programming, due to its regular mathem...
Huajin Tang, Haizhou Li, Zhang Yi
GIS
2006
ACM
16 years 4 months ago
Optimal BSPs and rectilinear cartograms
A cartogram is a thematic map that visualizes statistical data about a set of regions like countries, states or provinces. The size of a region in a cartogram corresponds to a par...
Mark de Berg, Elena Mumford, Bettina Speckmann