796 search results - page 39 / 160 » A Formalization of ODMG Queries |
104
click to vote
AIME
2007
Springer
15 years 6 months ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
118
click to vote
TIME
2006
IEEE
15 years 5 months ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
135
click to vote
CP
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In the last decades, the Satisfiability and Constraint Satisfaction Problem frameworks were extended to integrate aspects such as uncertainties, partial observabilities, ...
105
click to vote
ADBIS
2007
Springer
15 years 1 months ago
2007
Springer
This paper provides an answer-oriented multidimensional analysis environment. The approach is based on a conceptual point of view. We define a conceptual model that represents data...
112
click to vote
APIN
2002
14 years 11 months ago
2002
We develop the scheme of indefinite constraint databases using first-order logic as our representation language. When this scheme is instantiated with temporal constraints, the res...