Sciweavers

490 search results - page 17 / 98
» Modeling lobed leaves
Sort
View
ADBIS
2001
Springer
112views Database» more  ADBIS 2001»
14 years 2 days ago
Detecting Termination of Active Database Rules Using Symbolic Model Checking
One potential problem of active database applications is the non-termination of rules. Although algorithms have been proposed to detect non-termination, almost all provide a conser...
Indrakshi Ray, Indrajit Ray
GISCIENCE
2008
Springer
140views GIS» more  GISCIENCE 2008»
13 years 8 months ago
Modeling Herds and Their Evolvements from Trajectory Data
A trajectory is the time-stamped path of a moving entity through space. Given a set of trajectories, this paper proposes new conceptual definitions for a spatio-temporal pattern n...
Yan Huang, Cai Chen, Pinliang Dong
ICRA
2010
IEEE
162views Robotics» more  ICRA 2010»
13 years 6 months ago
Comparing and modeling distributed control strategies for miniature self-assembling robots
— We propose two contrasting approaches to the scalable distributed control of a swarm of self-assembling miniaturized robots, specifically the formation of chains of a desired ...
William C. Evans, Grégory Mermoud, Alcherio...
WSC
1998
13 years 9 months ago
Simulation and Analysis of the Mercedes-Benz all Activity Vehicle (AAV) Production Facility
Mercedes-Benz United States International (MBUSI) built a manufacturing facility for the production of the new M-Class "All Activity Vehicle" (AAV). This plant consists ...
Young H. Park, Jack E. Matson, David M. Miller
SEUS
2007
IEEE
14 years 1 months ago
A Review on System Architectures for Sensor Fusion Applications
In the literature there exist many proposed architectures for sensor fusion applications. This paper briefly reviews some of the most common approaches, i. e., the JDL fusion arch...
Wilfried Elmenreich