778 search results - page 44 / 156 » Modelling a Query Space Using Associations |
126
click to vote
CAV
2012
Springer
13 years 4 months ago
2012
Springer
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...
IEAAIE
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in A...
119
click to vote
VISUALIZATION
2003
IEEE
15 years 7 months ago
2003
IEEE
We present a novel technique for direct visualization of unsteady flow on surfaces from computational fluid dynamics. The method generates dense representations of time-dependen...
110
click to vote
EDBT
2002
ACM
16 years 2 months ago
2002
ACM
Abstract. This work addresses the problem of querying moving objects databases. which capture the inherent uncertainty associated with the location of moving point objects. We addr...
102
click to vote
ICMCS
2006
IEEE
15 years 8 months ago
2006
IEEE
In order to solve medical multimodal queries, we propose to split the queries in different dimensions using ontology. We extract both textual and visual terms depending on the ont...