Sciweavers

1897 search results - page 320 / 380
» Conditional Linear Planning
Sort
View
114
Voted
AUTOMATICA
2005
93views more  AUTOMATICA 2005»
15 years 18 days ago
Steady-state performance evaluation of continuous mono-T-semiflow Petri nets
The number of states in discrete event systems can increase exponentially with respect to the size of the system. A way to face this state explosion problem consists of relaxing t...
Jorge Júlvez, Laura Recalde, Manuel Silva
TCS
2008
15 years 18 days ago
Density elimination
Density elimination, a close relative of cut elimination, consists of removing applications of the Takeuti-Titani density rule from derivations in Gentzen-style (hypersequent) cal...
Agata Ciabattoni, George Metcalfe
115
Voted
TROB
2008
124views more  TROB 2008»
15 years 18 days 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
JMIV
2007
156views more  JMIV 2007»
15 years 18 days ago
Using the Shape Gradient for Active Contour Segmentation: from the Continuous to the Discrete Formulation
A variational approach to image or video segmentation consists in defining an energy depending on local or global image characteristics, the minimum of which being reached for ob...
Eric Debreuve, Muriel Gastaud, Michel Barlaud, Gil...
106
Voted
JMM2
2007
113views more  JMM2 2007»
15 years 18 days ago
Shape Morphing of Complex Geometries Using Partial Differential Equations
— An alternative technique for shape morphing using a surface generating method using partial differential equations is outlined throughout this work. The boundaryvalue nature th...
Gabriela González Castro, Hassan Ugail