2661 search results - page 287 / 533 » Model Checking Performability Properties |
82
Voted
SIGCOMM
1998
ACM
15 years 5 months ago
1998
ACM
In this paper, we analyze the relative merits of uniform versus priority dropping for the transmission of layered video. We rst present our original intuitions about these two app...
108
click to vote
CVPR
2003
IEEE
16 years 2 months ago
2003
IEEE
Video-based recognition and prediction of a temporally extended activity can benefit from a detailed description of high-level expectations about the activity. Stochastic grammars...
204
Voted
CP
2009
Springer
16 years 1 months ago
2009
Springer
We consider the problem of exploring the search tree of a CLP goal in pursuit of a target property. Essential to such a process is a method of tabling to prevent duplicate explorat...
98
Voted
CCR
2004
15 years 18 days ago
2004
To provide insight into Internet operation and performance, recent efforts have measured various aspects of the Internet, developing and improving measurement tools in the process....
114
click to vote
GIS
1998
ACM
15 years 13 days ago
1998
ACM
Spatial relations are the basis for many selections users perform when they query geographic information systems (GISs). Although such query languages use natural-language-like te...