3951 search results - page 203 / 791 » Automatic amortized analysis |
158
click to vote
CSUR
1999
15 years 5 months ago
1999
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...
140
click to vote
ICIP
2003
IEEE
16 years 7 months ago
2003
IEEE
This paper presents intermodal collaboration: a strategy for semantic content analysis for broadcasted sports video. The broadcasted video can be viewed as a set of multimodal str...
122
click to vote
GI
2007
Springer
16 years 6 days ago
2007
Springer
: The use of technology to assist human decision making is not a novel idea. However, we argue that there is a need for a unified model which synthesizes and extends existing model...
149
click to vote
TGC
2007
Springer
16 years 4 days ago
2007
Springer
Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that c...
136
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
The purpose of this paper is to report on experiments in (human) multi-issue negotiation and their analysis, and to present a generic software environment supporting such an analy...