Sciweavers

3987 search results - page 329 / 798
» Ontology-Based Model Transformation
Sort
View
188
Voted
ECCV
2008
Springer
16 years 8 months ago
Region-Based 2D Deformable Generalized Cylinder for Narrow Structures Segmentation
In this paper, we present a region-based deformable cylinder model, extending the work on classical region-based active contours and gradient-based ribbon snakes. Defined by a cent...
Julien Mille, Romuald Boné, Laurent D. Cohe...
SIGMOD
2006
ACM
122views Database» more  SIGMOD 2006»
16 years 6 months ago
The ADO.NET entity framework: making the conceptual level real
This paper describes the ADO.NET Entity Framework, a platform for programming against data that raises the level of ion from the logical (relational) level to the conceptual (enti...
Anil Nori, José A. Blakeley, S. Muralidhar
ASIACRYPT
2009
Springer
16 years 1 months ago
A Framework for Universally Composable Non-committing Blind Signatures
A universally composable (UC) blind signature functionality requres users to commit to the message to be blindly signed. It is thereby impossible to realize in the plain model. Th...
Masayuki Abe, Miyako Ohkubo
CIKM
2009
Springer
16 years 1 months ago
A query language for analyzing networks
With more and more large networks becoming available, mining and querying such networks are increasingly important tasks which are not being supported by database models and query...
Anton Dries, Siegfried Nijssen, Luc De Raedt
ICFEM
2007
Springer
16 years 27 days ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001