2035 search results - page 195 / 407 » Working memory |
110
Voted
IEEEIAS
2008
IEEE
15 years 10 months ago
2008
IEEE
Layer 2 traceback is an important component of end-toend packet traceback. Whilst IP traceback identiļ¬es the origin network, L2 traceback extends the process to provide a more ļ...
115
Voted
SI3D
2003
ACM
15 years 9 months ago
2003
ACM
We investigate choosing point samples on a model comprising parametric patches to meet a user speciļ¬ed budget. These samples may then be triangulated, rendered as points or ray-...
126
Voted
VLSID
2000
IEEE
15 years 8 months ago
2000
IEEE
We consider the problem of timing analysis in the presence of known false paths. The main difficulty in adaptation of classical breadth-first search to the problem is that at each...
151
Voted
CADE
2012
Springer
13 years 6 months ago
2012
Springer
We propose a word level, bounded model checking (BMC) algorithm based on translation into the effectively propositional fragment (EPR) of ļ¬rstorder logic. This approach to BMC al...
110
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
We address the problem of learning in repeated N-player (as opposed to 2-player) general-sum games. We describe an extension to existing criteria focusing explicitly on such setti...