5973 search results - page 202 / 1195 » Fundamental forms of information |
201
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...
177
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
Most people consider a database is merely a data repository that supports data storage and retrieval. Actually, a database contains rich, inter-related, multi-typed data and infor...
170
click to vote
ICEIS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes the development of Information System (IS) at Masaryk University in Brno. It supports full range of administrative and information functions in the study area,...
247
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Online bibliographic databases, such as DBLP in computer science and PubMed in medical sciences, contain abundant information about research publications in different fields. Each...
181
click to vote
MM
2003
ACM
15 years 11 months ago
2003
ACM
combinFormation is a tool that enables browsing and collecting information elements in a generative space. By generative, we mean that the tool is an agent that automatically retr...