796 search results - page 30 / 160 » A Formalization of ODMG Queries |
117
click to vote
TKDE
2012
13 years 2 months ago
2012
—Search engine companies collect the “database of intentions”, the histories of their users’ search queries. These search logs are a gold mine for researchers. Search engin...
189
click to vote
ECCB
2008
IEEE
14 years 12 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
ELPUB
2006
ACM
15 years 5 months ago
2006
ACM
This paper concerns the document multi-structuring issue. For various use objectives, many distinct structures may be defined simultaneously for the same original document. For ex...
117
click to vote
ECAI
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Defeasible reasoning is a direction in nonmonotonic reasoning that is based on the use of rules that may be defeated by other rules. It is a simple, but often more effic...
103
click to vote
AMW
2010
15 years 1 months ago
2010
Abstract. Consistent query answering (CQA) is about formally characterizing and computing semantically correct answers to queries posed to a database that may fail to satisfy certa...