3353 search results - page 253 / 671 » Laver and set theory |
252
click to vote
PODC
2012
ACM
13 years 9 months ago
2012
ACM
The BGP (Border Gateway Protocol) is the single inter-domain routing protocol that enables network operators within each autonomous system (AS) to influence routing decisions by ...
195
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
The paper introduces an action recognition framework that uses concepts from the theory of chaotic systems to model and analyze nonlinear dynamics of human actions. Trajectories o...
287
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
152
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
The shift and reset operators, proposed by Danvy and Filinski, are powerful control primitives for capturing delimited continuations. Delimited continuation is a similar concept a...
172
click to vote
ICIAP
2009
ACM
16 years 1 months ago
2009
ACM
Multi-modality is a fundamental feature that characterizes biological systems and lets them achieve high robustness in understanding skills while coping with uncertainty. Relativel...