1017 search results - page 191 / 204 » On the Power of k -Consistency |
ICCAD
1996
IEEE
15 years 6 months ago
1996
IEEE
This paper presents a new framework for formal logic verification. What is depicted here is fundamentally different from previous approaches. In earlier approaches, the circuit is ...
100
Voted
IFIP
1994
Springer
15 years 6 months ago
1994
Springer
There have been innumerable glowing reports of the way hypermedia systems allow users to explore and use vast amounts of information in ways not possible using traditional informa...
111
click to vote
FOCS
1989
IEEE
15 years 5 months ago
1989
IEEE
In this paper, Boolean functions in ,4C0 are studied using harmonic analysis on the cube. The main result is that an ACO Boolean function has almost all of its “power spectrum”...
117
Voted
ACMACE
2007
ACM
15 years 5 months ago
2007
ACM
Emergent game formats, such as machinima, that use game worlds as expressive 3D performance spaces have new expressive powers with an increase of the quality of their underlying g...
106
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
This paper reports on the development of a utility-based mechanism for managing sensing and communication in cooperative multi-sensor networks. The specific application considered...