4770 search results - page 263 / 954 » Flexible Type Analysis |
231
click to vote
SEUS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper provides a QoS analysis of a dynamic, ubiquitous UMTS network scenario in the automotive context identified in the ongoing EC HIDENETS project. The scenario comprises d...
212
click to vote
CVPR
2000
IEEE
15 years 11 months ago
2000
IEEE
Background modeling is a common component in video surveillance systems and is used to quickly identify regions of interest. To increase the robustness of background subtraction t...
246
click to vote
ESOP
1999
Springer
15 years 11 months ago
1999
Springer
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
161
click to vote
AAAI
2006
15 years 8 months ago
2006
We consider example-critiquing systems that help people search for their most preferred item in a large catalog. We first analyze how such systems can help users in the framework ...
184
click to vote
ISI
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents an exploratory study of jihadi extremist groups' videos using content analysis and a multimedia coding tool to explore the types of videos, groups' mo...