8928 search results - page 1710 / 1786 » Modeling Current Events |
114
click to vote
LPNMR
2007
Springer
15 years 9 months ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
137
click to vote
PPDP
2007
Springer
15 years 9 months ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
CGO
2006
IEEE
15 years 9 months ago
2006
IEEE
Dynamic optimization relies on phase detection for two important functions (1) To detect change in code working set and (2) To detect change in performance characteristics that ca...
129
click to vote
CODES
2006
IEEE
15 years 9 months ago
2006
IEEE
Predicting timing behavior is key to efficient embedded real-time system design and verification. Especially memory accesses and co-processor calls over shared communication net...
120
click to vote
ICALT
2006
IEEE
15 years 9 months ago
2006
IEEE
Vicarious Learning is learning from watching others learn. We believe that this is a powerful model for computer-based learning. Learning episodes can be captured and replayed to ...