4107 search results - page 662 / 822 » The Generalized Lambda Test |
194
click to vote
SENSYS
2004
ACM
16 years 14 days ago
2004
ACM
Previous approaches for computing duplicate-sensitive aggregates in sensor networks (e.g., in TAG) have used a tree topology, in order to conserve energy and to avoid double-count...
225
click to vote
BIRTHDAY
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
189
Voted
KR
2004
Springer
16 years 12 days ago
2004
Springer
Disjunction is generally considered to add expressive power to logic programs under the stable model semantics, which have become a popular programming paradigm for knowledge repr...
219
Voted
VIZSEC
2004
Springer
16 years 11 days ago
2004
Springer
This paper examines the dramatic visual fingerprints left by a wide variety of popular network attack tools in order to better understand the specific methodologies used by attack...
186
Voted
PLDI
2003
ACM
16 years 8 days ago
2003
ACM
Speculative execution, such as control speculation and data speculation, is an effective way to improve program performance. Using edge/path profile information or simple heuristi...