Sciweavers

735 search results - page 142 / 147
» Procedural Modeling of Interconnected Structures
Sort
View
CAISE
2004
Springer
14 years 26 days ago
Multi-Paradigm Process Management
Automation and integration of business processes are at the heart of contemporary enterprise systems. In the pursuit of this goal, process automation technology is employed at vary...
Michael zur Muehlen, Michael Rosemann
ECCB
2005
IEEE
14 years 1 months ago
A query language for biological networks
Many areas of modern biology are concerned with the management, storage, visualization, comparison, and analysis of networks. For instance, networks are used to model signal trans...
Ulf Leser
ICRA
2005
IEEE
122views Robotics» more  ICRA 2005»
14 years 1 months ago
Robust Adaptive Control of Automatic Guidance of Farm Vehicles in the Presence of Sliding
— High-precision autofarming is rapidly becoming a reality with the requirements of agricultural applications. Lots of research works have been focused on the automatic guidance ...
Hao Fang, Roland Lenain, Benoit Thuilot, Philippe ...
VISUALIZATION
2005
IEEE
14 years 1 months ago
Topology-driven Surface Mappings with Robust Feature Alignment
Topological concepts and techniques have been broadly applied in computer graphics and geometric modeling. However, the homotopy type of a mapping between two surfaces has not bee...
Christopher Carner, Miao Jin, Xianfeng Gu, Hong Qi...
SRDS
1999
IEEE
13 years 11 months ago
Formal Hazard Analysis of Hybrid Systems in cTLA
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
Peter Herrmann, Heiko Krumm