Sciweavers

41938 search results - page 7959 / 8388
» Complex Systems Modeling
Sort
View
CAISE
2004
Springer
16 years 5 days ago
Office Activity Procedure Exception Handling Realization Difficulties
Office activity procedure automation is getting very popular in major organizations. During the automation then workflow method is chosen frequently, because of its possibility to ...
Dovile Vojevodina, Genadijus Kulvietis
CASSIS
2004
Springer
16 years 5 days ago
ESC/Java2: Uniting ESC/Java and JML
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
David R. Cok, Joseph Kiniry
CC
2004
Springer
110views System Software» more  CC 2004»
16 years 5 days ago
Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
Venkatesh Prasad Ranganath, John Hatcliff
CIKM
2004
Springer
16 years 5 days ago
Evaluating window joins over punctuated streams
We explore join optimizations in the presence of both timebased constraints (sliding windows) and value-based constraints (punctuations). We present the first join solution named...
Luping Ding, Elke A. Rundensteiner
CIVR
2004
Springer
184views Image Analysis» more  CIVR 2004»
16 years 5 days ago
Semantic Event Detection in Sports Through Motion Understanding
In this paper we investigate the retrieval of semantic events that occur in broadcast sports footage. We do so by considering the spatio-temporal behaviour of an object in the foot...
Niall Rea, Rozenn Dahyot, Anil C. Kokaram
« Prev « First page 7959 / 8388 Last » Next »