4913 search results - page 732 / 983 » Results and Perspectives of the G |
150
click to vote
ECAI
2004
Springer
16 years 2 days ago
2004
Springer
Learning general truths from the observation of simple domains and, further, learning how to use this knowledge are essential capabilities for any intelligent agent to understand ...
180
click to vote
EGPGV
2004
Springer
16 years 2 days ago
2004
Springer
Interactive ray tracing in a cluster environment requires paying close attention to the constraints of a loosely coupled distributed system. To render large scenes interactively, ...
183
click to vote
EURONGI
2004
Springer
16 years 2 days ago
2004
Springer
This paper presents a simulation analysis for the evaluation of the admission region of a IEEE 802.11e network adopting the EDCA (Enhanced Distributed Channel Access) mechanism. In...
200
click to vote
FMCAD
2004
Springer
16 years 2 days ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...
174
click to vote
FSE
2004
Springer
16 years 2 days ago
2004
Springer
A cryptanalysis is given of a MAC proposal presented at CRYPTO 2003 by Cary and Venkatesan. A nice feature of the CaryVenkatesan MAC is that a lower bound on its security can be pr...