1391 search results - page 207 / 279 » Completeness of Neighbourhood Logic |
173
click to vote
ICWE
2007
Springer
16 years 10 days 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...
158
click to vote
RR
2007
Springer
16 years 9 days ago
2007
Springer
The well-founded semantics (WFS) for logic programs is one of the few major paradigms for closed-world reasoning. With the advent of the Semantic Web, it is being used as part of r...
165
click to vote
SARA
2007
Springer
16 years 9 days 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...
184
click to vote
ASP
2005
Springer
15 years 11 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...
136
click to vote
FPL
2005
Springer
15 years 11 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...