21094 search results - page 4112 / 4219 » An experiment using DLV-K |
117
Voted
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
Energy efficiency has become a critical concern in designing high speed packet classification engines for next generation routers. Although TCAM-based solutions can provide high th...
101
Voted
ICDM
2007
IEEE
15 years 4 months ago
2007
IEEE
The problem of selecting a sample subset sufficient to preserve diversity arises in many applications. One example is in the design of recombinant inbred lines (RIL) for genetic a...
101
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
CGO
2004
IEEE
15 years 4 months ago
2004
IEEE
Recent research has shown that programs often exhibit value locality. Such locality occurs when a code segment, although executed repeatedly in the program, takes only a small num...
101
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
A long-standing challenge in interactive entertainment is the creation of story-based games with dynamically responsive story-lines. Such games are populated by multiple objects a...