698 search results - page 68 / 140 » Fast functional simulation using branching programs |
117
click to vote
RAID
2010
Springer
14 years 12 months ago
2010
Springer
Software keyloggers are a fast growing class of malware often used to harvest confidential information. One of the main reasons for this rapid growth is the possibility for unpriv...
148
click to vote
DEXAW
2003
IEEE
15 years 6 months ago
2003
IEEE
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite univers...
122
click to vote
ICML
2007
IEEE
16 years 2 months ago
2007
IEEE
The UCT algorithm learns a value function online using sample-based search. The TD() algorithm can learn a value function offline for the on-policy distribution. We consider three...
140
click to vote
DSN
2011
IEEE
14 years 1 months ago
2011
IEEE
—We consider the problem of inferring link loss rates using passive measurements. Prior inference approaches are mainly built on the time correlation nature of packet losses. How...
113
click to vote
CG
2000
Springer
15 years 1 months ago
2000
Springer
The Back of an Envelope project demonstrates how a calligraphic interface (one that employs a pen or stylus to input freehand drawing marks) can be used in a wide variety of domai...