5015 search results - page 481 / 1003 » Model Checking a Path |
186
click to vote
SIGCOMM
2000
ACM
15 years 11 months ago
2000
ACM
We describe a deterministic model of packet delay and use it to derive both the packet pair [2] property of FIFO-queueing networks and a new technique (packet tailgating) for acti...
242
click to vote
ICMCS
2000
IEEE
15 years 10 months ago
2000
IEEE
Video classi cation and segmentation are fundamental steps for e cient accessing, retrieving and browsing large amount of video data. We have developed a scene classi cationscheme...
157
click to vote
SIGGRAPH
1987
ACM
15 years 10 months ago
1987
ACM
The aggregate motion of a flock of birds, a herd of land animals, or a school of fish is a beautiful and familiar part of the natural world. But this type of complex motion is rar...
202
click to vote
COLING
2008
15 years 8 months ago
2008
This paper explores the use of the homotopy method for training a semi-supervised Hidden Markov Model (HMM) used for sequence labeling. We provide a novel polynomial-time algorith...
167
click to vote
NAACL
2001
15 years 8 months ago
2001
In human sentence processing, cognitive load can be defined many ways. This report considers a definition of cognitive load in terms of the total probability of structural options...