Sciweavers

574 search results - page 108 / 115
» Unanticipated integration of development tools using the cla...
Sort
View
BILDMED
2006
120views Algorithms» more  BILDMED 2006»
13 years 9 months ago
Towards Automatic Segmentation of Serial High-Resolution Images
Developing barley grains are to be visualised by a 4-D model, in which spatiotemporal experimental data can be integrated. The most crucial task lies in the automation of the exten...
Cornelia Brüß, Marc Strickert, Udo Seif...
BMCBI
2002
129views more  BMCBI 2002»
13 years 7 months ago
SeqHound: biological sequence and structure database as a platform for bioinformatics research
Background: SeqHound has been developed as an integrated biological sequence, taxonomy, annotation and 3-D structure database system. It provides a high-performance server platfor...
Katerina Michalickova, Gary D. Bader, Michel Dumon...
POPL
2000
ACM
13 years 11 months ago
Modular Refinement of Hierarchic Reactive Machines
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
Rajeev Alur, Radu Grosu
ISMAR
2007
IEEE
14 years 1 months ago
Visualization of Spatial Sensor Data in the Context of Automotive Environment Perception Systems
Spatial sensor systems in cars are gaining more and more importance. Such sensor systems are the foundation of future safety systems, such as automatic emergency brakes, as well a...
Marcus Tönnis, Rudi Lindlf, Leonhard Walchsh&...
ELPUB
2006
ACM
14 years 1 months ago
An Architecture of Authoring Environments for the Semantic Web
Among the new possibilities that the Semantic Web has enabled, the authoring task is considered as a key moment for semantic representation of knowledge to enhance publishing need...
Edgard Costa Oliveira, Mamede Lima-Marques