3047 search results - page 321 / 610 » On the Meaning of Logical Completeness |
193
click to vote
DEXA
2007
Springer
16 years 1 months ago
2007
Springer
The retrieval problem is one of the main reasoning tasks for knowledge base systems. Given a knowledge base K and a concept C, the retrieval problem consists of finding all indivi...
205
Voted
ICWE
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a model-driven approach to the development of web applications based on the Ubiquitous Web Application (UWA) design framework, the Model-View-Controller (MVC) a...
215
Voted
SARA
2007
Springer
16 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...
208
Voted
ASP
2005
Springer
16 years 1 months ago
2005
Springer
Despite all efforts on intelligent grounding, state-of-the-art answer set solvers still have huge memory requirements, because they compute the ground instantiation of the input pr...
162
click to vote
FPL
2005
Springer
16 years 1 months ago
2005
Springer
This work explores the effect of adding a timing driven functional decomposition step to the traditional field programmable gate array (FPGA) CAD flow. Once placement has comple...