Sciweavers

1980 search results - page 233 / 396
» Feature Flow Fields
Sort
View
132
Voted
FORTE
2008
15 years 5 months ago
Checking Correctness of Transactional Behaviors
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guan...
DAGM
2010
Springer
15 years 4 months ago
Tracking People in Broadcast Sports
Abstract. We present a method for tracking people in monocular broadcast sports videos by coupling a particle filter with a vote-based confidence map of athletes, appearance featur...
Angela Yao, Dominique Uebersax, Juergen Gall, Luc ...
CGF
2008
79views more  CGF 2008»
15 years 4 months ago
Evaluation of illustration-inspired techniques for time-varying data visualization
Illustration-inspired techniques have provided alternative ways to visualize time-varying data. Techniques such as speedlines, flow ribbons, strobe silhouettes and opacity-based t...
Alark Joshi, Penny Rheingans
FUIN
2008
91views more  FUIN 2008»
15 years 4 months ago
A Deductive Proof System for Multithreaded Java with Exceptions
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
Erika Ábrahám, Frank S. de Boer, Wil...
126
Voted
MTA
2006
140views more  MTA 2006»
15 years 3 months ago
Audio indexing: primary components retrieval
This work addresses the soundtrack indexing of multimedia documents. We present and merge two audio classification tools that we have developed. The first one, a speech music clas...
Julien Pinquier, Régine André-Obrech...