Sciweavers

1146 search results - page 197 / 230
» Finite cupping sets
Sort
View
CANDC
2005
ACM
14 years 11 months ago
Integer linear programming as a tool for constructing trees from quartet data
The task of the quartet puzzling problem is to find a best-fitting binary X-tree for a finite n-set from confidence values for the 3 n 4 binary trees with exactly four leaves from...
Jan Weyer-Menkhoff, Claudine Devauchelle, Alexande...
CCE
2005
14 years 11 months ago
Logic-based outer approximation for globally optimal synthesis of process networks
Process network problems can be formulated as Generalized Disjunctive Programs where a logicbased representation is used to deal with the discrete and continuous decisions. A new ...
María Lorena Bergamini, Pío A. Aguir...
TROB
2008
124views more  TROB 2008»
14 years 11 months ago
A Practical Visual Servo Control for an Unmanned Aerial Vehicle
An image-based visual servo control is presented for an Unmanned aerial vehicle (UAV) capable of stationary or quasi-stationary flight with the camera mounted on board the vehicle....
Nicolas Guenard, Tarek Hamel, Robert E. Mahony
TSP
2008
114views more  TSP 2008»
14 years 11 months ago
Universal Switching Linear Least Squares Prediction
We consider sequential regression of individual sequences under the square error loss. Using a competitive algorithm framework, we construct a sequential algorithm that can achieve...
Suleyman Serdar Kozat, Andrew C. Singer
TVLSI
2008
140views more  TVLSI 2008»
14 years 11 months ago
A Novel Mutation-Based Validation Paradigm for High-Level Hardware Descriptions
We present a Mutation-based Validation Paradigm (MVP) technology that can handle complete high-level microprocessor implementations and is based on explicit design error modeling, ...
Jorge Campos, Hussain Al-Asaad