Sciweavers

66 search results - page 9 / 14
» Merging Dynamic Functionality: Integration of XML Transforma...
Sort
View
DFG
2004
Springer
13 years 11 months ago
Verification of PLC Programs Given as Sequential Function Charts
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven ...
BMCBI
2005
112views more  BMCBI 2005»
13 years 7 months ago
Integration of the Gene Ontology into an object-oriented architecture
Background: To standardize gene product descriptions, a formal vocabulary defined as the Gene Ontology (GO) has been developed. GO terms have been categorized into biological proc...
Daniel Shegogue, W. Jim Zheng
ENVSOFT
2002
187views more  ENVSOFT 2002»
13 years 7 months ago
AVTOP: a full integration of TOPMODEL into GIS
The integration of environmental models and Geographical Information Systems (GIS) usually takes two approaches: loose coupling and tight coupling. This paper, however, presents a...
Bo Huang, Bin Jiang
COGCOM
2010
107views more  COGCOM 2010»
13 years 4 months ago
Where to Look Next? Combining Static and Dynamic Proto-objects in a TVA-based Model of Visual Attention
To decide ``Where to look next ?'' is a central function of the attention system of humans, animals and robots. Control of attention depends on three factors, that is, lo...
Marco Wischnewski, Anna Belardinelli, Werner X. Sc...
ISRR
2001
Springer
104views Robotics» more  ISRR 2001»
13 years 11 months ago
General Solution for Linearized Error Propagation in Vehicle Odometry
Although odometry is nonlinear, it yields sufficiently to linearized analysis to produce a closed-form transition matrix and a symbolic general solution for both deterministic and...
Alonzo Kelly