3709 search results - page 175 / 742 » Supporting experimentation with Side-Views |
WSC
2000
13 years 10 months ago
2000
One of the approaches to modeling hybrid systems is to assign algebraic-differential equations describing the continuous behavior to states of state machines that represent discre...
MVA
1994
13 years 10 months ago
1994
This papcr presents a 3D-environment nieasurcmcnt systeni for large-scale structure manufacturing. First, a niethod and systeni for generating as-built data are shown. Then a came...
BMCBI
2007
13 years 9 months ago
2007
Motivation: Protein subcellular localization is crucial for genome annotation, protein function prediction, and drug discovery. However, since determining subcellular localization...
ENTCS
2008
13 years 9 months ago
2008
This paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attribu...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
This paper presents a multi-sensor fusion strategy for a novel road-matching method designed to support real-time navigational features within advanced driving-assistance systems....