Sciweavers

1092 search results - page 49 / 219
» Understanding Context Before Using It
Sort
View
AVSS
2003
IEEE
14 years 29 days ago
A Reliable-Inference Framework for Recognition of Human Actions
We present an action recognition method based on the concept of reliable inference. Our approach is formulated in a probabilistic framework using posterior class ratios to verify ...
James W. Davis, Ambrish Tyagi
ICHIM
2001
77views more  ICHIM 2001»
13 years 9 months ago
Networking Historical Sources: A Demand-Side Driven Approach
Many archives have introduced online archival databases in the past few years. However, apart from being independent of place and time, hardly any of these databases make finding ...
Andrea Rosenbusch
LPAR
2010
Springer
13 years 6 months ago
Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...
Jasmin Christian Blanchette, Koen Claessen
WSC
2000
13 years 9 months ago
Optimizing production work flow using OpEMCSS
A graphical discrete event simulation library is proposed for system simulation that is based on interacting concurrent processes. This library works with EXTEND (Imagine That Inc...
John R. Clymer
COMCOM
2000
130views more  COMCOM 2000»
13 years 7 months ago
Use Case Maps and LOTOS for the prototyping and validation of a mobile group call system
ABSTRACT -- SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is ...
Daniel Amyot, Luigi Logrippo