9166 search results - page 468 / 1834 » A framework for comparing models of computation |
200
click to vote
DEDUCTIVE
1996
15 years 8 months ago
1996
We de ne a preferential semantics based on stable generated models for a very general class of temporal deductive databases. We allow two kinds of temporal information to be repre...
185
Voted
RR
2010
Springer
15 years 5 months ago
2010
Springer
The development and use of ontologies may require users with no training in formal logic to handle complex concept descriptions. To aid such users, we propose a new visualization f...
162
Voted
ACCV
2009
Springer
16 years 1 months ago
2009
Springer
Mixtures of Gaussians are a crucial statistical modeling tool at the heart of many challenging applications in computer vision and machine learning. In this paper, we first descri...
217
Voted
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
The use of statistical pattern recognition models to segment the left ventricle of the heart in ultrasound images has gained substantial attention over the last few years. The mai...
189
click to vote
EPK
2007
15 years 8 months ago
2007
Abstract: Quality aspects become increasingly important while business process modeling is used in a large-scale enterprise setting. In order to facilitate a storage without redund...