4047 search results - page 506 / 810 » Algebraic Model Checking |
184
click to vote
FOIS
2006
15 years 8 months ago
2006
An ontology alignment is the expression of relations between different ontologies. In order to view alignments independently from the language expressing ontologies and from the te...
159
click to vote
JSYML
2008
15 years 6 months ago
2008
0-stable 0-categorical linked quaternionic mappings are studied and are shown to correspond (in some sense) to special groups which are 0stable, 0-categorical, satisfy AP(3) and ha...
262
click to vote
Book
A set of presentations covering the book, which includes the following topics ER Model and Conceptual Design, The Relational Model and SQL DDL, Relational Algebra, SQL, Database Ap...
166
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
Given a volume of cardiac MR images, we consider the problem of segmenting the heart based on intensity and dynamics. We first segment the heart and the chest from the background ...
140
click to vote
EDBT
2006
ACM
16 years 6 months ago
2006
ACM
We study the expressiveness and performance of full-text search languages. Our main motivation is to provide a formal basis for comparing such languages and to develop a model for...