7821 search results - page 33 / 1565 » Nested Ordered Sets and their Use for Data Modelling |
115
click to vote
WSCG
2003
15 years 1 months ago
2003
Computer-aided analysis of four-dimensional tomography data has become an important tool in modern cardiology. In order to examine the capability and health of a patient’s cardi...
116
click to vote
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We use a simple yet powerful higher-order conditional random field (CRF) to model optical flow. It consists of a standard photoconsistency cost and a prior on affine mo...
109
Voted
WORDS
2002
IEEE
15 years 5 months ago
2002
IEEE
Open Multithreaded Transactions form an advanced transaction model that provides features for controlling and structuring not only accesses to objects, as usual in transaction sys...
202
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract-- Many applications are driven by evolving data -patterns in web traffic, program execution traces, network event logs, etc., are often non-stationary. Building prediction...
100
Voted
ATVA
2004
Springer
15 years 4 months ago
2004
Springer
In this paper, we describe a first-order linear time temporal logic (LTL) model checker based on multiway decision graphs (MDG). We developed a first-order temporal language, LMDG ...