Sciweavers

3779 search results - page 181 / 756
» Linear Consistency Testing
Sort
View
EUROGP
2006
Springer
112views Optimization» more  EUROGP 2006»
15 years 10 months ago
The Halting Probability in Von Neumann Architectures
Abstract. Theoretical models of Turing complete linear genetic programming (GP) programs suggest the fraction of halting programs is vanishingly small. Convergence results proved f...
William B. Langdon, Riccardo Poli
ENTCS
2008
103views more  ENTCS 2008»
15 years 6 months ago
Analyzing Reachability for Some Petri Nets With Fast Growing Markings
Using linear algebraic techniques, we analyse the computational complexity of testing reachability in Petri nets for which markings can grow very fast. This leads to two subclasse...
M. Praveen, Kamal Lodaya
TRANSCI
2008
80views more  TRANSCI 2008»
15 years 6 months ago
An Efficient Method to Compute Traffic Assignment Problems with Elastic Demands
The traffic assignment problem with elastic demands can be formulated as an optimization problem, whose objective is sum of a congestion function and a disutility function. We pro...
Frédéric Babonneau, Jean-Philippe Vi...
MVA
2000
273views Computer Vision» more  MVA 2000»
15 years 6 months ago
A compact algorithm for rectification of stereo pairs
We present a linear rectification algorithm for general, unconstrained stereo rigs. The algorithm takes the two perspective projection matrices of the original cameras, and compute...
Andrea Fusiello, Emanuele Trucco, Alessandro Verri
PAKDD
2005
ACM
128views Data Mining» more  PAKDD 2005»
15 years 12 months ago
A Framework for Incorporating Class Priors into Discriminative Classification
Abstract. Discriminative and generative methods provide two distinct approaches to machine learning classification. One advantage of generative approaches is that they naturally mo...
Rong Jin, Yi Liu