2035 search results - page 195 / 407 » Working memory |
157
click to vote
IEEEIAS
2008
IEEE
16 years 1 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 ļ...
150
click to vote
SI3D
2003
ACM
15 years 11 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-...
172
click to vote
VLSID
2000
IEEE
15 years 11 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...
195
click to vote
CADE
2012
Springer
13 years 9 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...
149
click to vote
ATAL
2006
Springer
15 years 10 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...