Sciweavers

1964 search results - page 170 / 393
» An analysis of extensible modelling for functional genomics ...
Sort
View
CONCUR
2000
Springer
15 years 10 months ago
Reachability Analysis for Some Models of Infinite-State Transition Systems
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
Oscar H. Ibarra, Tevfik Bultan, Jianwen Su
GROUP
2003
ACM
15 years 11 months ago
Using the transformational approach to build a safe and generic data synchronizer
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge ...
Pascal Molli, Gérald Oster, Hala Skaf-Molli...
EDBT
2006
ACM
194views Database» more  EDBT 2006»
16 years 6 months ago
Hermes - A Framework for Location-Based Data Management
The aim of this paper is to demonstrate Hermes, a robust framework capable of aiding a spatio-temporal database developer in modeling, constructing and querying a database with dyn...
Nikos Pelekis, Yannis Theodoridis, Spyros Vosinaki...
CVPR
2006
IEEE
16 years 8 months ago
Vessel Crawlers: 3D Physically-based Deformable Organisms for Vasculature Segmentation and Analysis
We present a novel approach to the segmentation and analysis of vasculature from volumetric medical image data. Our method is an adoption and significant extension of deformable o...
Chris McIntosh, Ghassan Hamarneh
GECCO
2007
Springer
197views Optimization» more  GECCO 2007»
16 years 19 days ago
Computational intelligence techniques: a study of scleroderma skin disease
This paper presents an analysis of microarray gene expression data from patients with and without scleroderma skin disease using computational intelligence and visual data mining ...
Julio J. Valdés, Alan J. Barton