Sciweavers

937 search results - page 124 / 188
» On the Complexity of Partial Order Properties
Sort
View
SIGSOFT
2001
ACM
16 years 6 months ago
Combining UML and formal notations for modelling real-time systems
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli
VISUALIZATION
2005
IEEE
15 years 11 months ago
Visualization of White Matter Tracts with Wrapped Streamlines
Diffusion tensor imaging is a magnetic resonance imaging method which has gained increasing importance in neuroscience and especially in neurosurgery. It acquires diffusion proper...
Frank Enders, Natascha Sauber, Dorit Merhof, Peter...
ICES
1998
Springer
95views Hardware» more  ICES 1998»
15 years 10 months ago
Embryonics: A Microscopic View of the Molecular Architecture
The ontogenetic development of living beings suggests the design of a new kind of multicellular automaton endowed with novel quasi-biological properties: self-repair and self-repli...
Daniel Mange, André Stauffer, Gianluca Temp...
AAAI
2007
15 years 8 months ago
Near-optimal Observation Selection using Submodular Functions
AI problems such as autonomous robotic exploration, automatic diagnosis and activity recognition have in common the need for choosing among a set of informative but possibly expen...
Andreas Krause, Carlos Guestrin
DICTA
2008
15 years 7 months ago
Object Detection Using Multi-local Feature Manifolds
Many object categories are better characterized by the shape of their contour than by local appearance properties like texture or color. Multi-local features are designed in order...
Oscar M. Danielsson, Stefan Carlsson, Josephine Su...