Sciweavers

3311 search results - page 353 / 663
» Modeling Relational Data by the Adjacency Model
Sort
View
DATE
2008
IEEE
122views Hardware» more  DATE 2008»
16 years 1 months ago
Simulation-Directed Invariant Mining for Software Verification
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
Xueqi Cheng, Michael S. Hsiao
ISBI
2007
IEEE
16 years 28 days ago
Grafip: A Framework for the Representation of Healthy and Pathological Cerebral Information
This paper presents a contribution to the large problematic of integrating medical image-based information into a structured framework (such as electronic patient records or anato...
Jamal Atif, Céline Hudelot, Olivier Nempont...
MIDDLEWARE
2005
Springer
16 years 4 days ago
Sensor bean: a component platform for sensor-based services
Sensor-based services propose to gather, manage, analyze, access and react to sensor data. These services are distributed over heterogeneous platforms. The complexity of the imple...
Cristina Marin, Mikael Desertot
ISMS
2004
Springer
16 years 5 hour ago
Liver Vessel Parameter Estimation from Tactile Imaging Information
Realistic tissue models require accurate representations of the properties of in vivo tissue. This study examines the potential for tactile imaging to measure tissue properties an...
Anna M. Galea, Robert D. Howe
BPM
2004
Springer
148views Business» more  BPM 2004»
15 years 10 months ago
Interactive Workflow Mining
Many information systems log event data about executed tasks. Workflow mining is concerned with the derivation of a graphical workflow model out of this data. Experience from appl...
Markus Hammori, Joachim Herbst, Niko Kleiner