9284 search results - page 1811 / 1857 » Knowledge State Algorithms |
122
click to vote
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
148
click to vote
IUI
2004
ACM
15 years 7 months ago
2004
ACM
Complex applications in many areas, including scientific computations and business-related web services, are created from collections of components to form workflows. In many case...
136
click to vote
MM
2004
ACM
15 years 7 months ago
2004
ACM
Motion information is a powerful cue for visual perception. In the context of video indexing and retrieval, motion content serves as a useful source for compact video representati...
137
Voted
MM
2004
ACM
15 years 7 months ago
2004
ACM
This paper deals with phrase structure detection in contemporary western dance. Phrases are a sequence of movements that exist at semantic abstraction than gestures. The problem i...
125
click to vote
SIGCOMM
2004
ACM
15 years 7 months ago
2004
ACM
Per-flow congestion control helps endpoints fairly and efficiently share network resources. Better utilization of network resources can be achieved, however, if congestion manag...