Sciweavers

19130 search results - page 3471 / 3826
» Modelling multi-path problems
Sort
View
TOPNOC
2008
15 years 4 months ago
Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization
State spaces are commonly used representations of system behavior. A state space may be derived from a model of system behavior but can also be obtained through process mining. For...
H. M. W. (Eric) Verbeek, A. Johannes Pretorius, Wi...
TPDS
2008
169views more  TPDS 2008»
15 years 4 months ago
Dynamic Resource Management in Energy Constrained Heterogeneous Computing Systems Using Voltage Scaling
An ad hoc grid is a wireless heterogeneous computing environment without a fixed infrastructure. This study considers wireless devices that have different capabilities, have limite...
Jong-Kook Kim, Howard Jay Siegel, Anthony A. Macie...
TPLP
2008
89views more  TPLP 2008»
15 years 4 months ago
Theory of finite or infinite trees revisited
We present in this paper a first-order axiomatization of an extended theory T of finite or infinite trees, built on a signature containing an infinite set of function symbols and ...
Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Fr&uum...
TRANSCI
2008
108views more  TRANSCI 2008»
15 years 4 months ago
Per-Seat, On-Demand Air Transportation Part II: Parallel Local Search
The availability of relatively cheap small jet aircrafts suggests a new air transportation business: dial-a-flight, an on-demand service in which travelers call a few days in adva...
Daniel G. Espinoza, R. Garcia, Marcos Goycoolea, G...
TROB
2008
152views more  TROB 2008»
15 years 4 months ago
Catadioptric Visual Servoing From 3-D Straight Lines
In this paper, we consider the problem of controlling a 6 DOF holonomic robot and a nonholonomic mobile robot from the projection of 3-D straight lines in the image plane of centra...
Hicham Hadj-Abdelkader, Youcef Mezouar, Philippe M...
« Prev « First page 3471 / 3826 Last » Next »