1008 search results - page 87 / 202 » Logic and Databases |
ER
2004
Springer
14 years 1 months ago
2004
Springer
Our goal is to model the way people induce knowledge from rare and sparse data. This paper describes a theoretical framework for inducing knowledge from these incomplete data descr...
PPDP
2007
Springer
14 years 1 months ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
SARA
2007
Springer
14 years 1 months ago
2007
Springer
Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers...
CADE
2000
Springer
14 years 5 days ago
2000
Springer
Abstract. While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. I...
POS
1998
Springer
14 years 1 days ago
1998
Springer
The 3 tier architecture logically separates the functions of an application into a user interface component, a server business logic component, and a database component. Many appl...