2585 search results - page 432 / 517 » Automating Coherent Logic |
105
Voted
RR
2007
Springer
15 years 7 months 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...
95
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
- The problem of determining lower bounds for the energy cost of a given nanoscale design is addressed via a complexity theory-based approach. This paper provides a theoretical fra...
87
Voted
GLVLSI
2005
IEEE
15 years 6 months ago
2005
IEEE
As timing requirements in today’s advanced VLSI designs become more aggressive, the need for automated tools to diagnose timing failures increases. This work presents two such a...
113
Voted
ICECCS
2005
IEEE
15 years 6 months ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
114
Voted
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...