9067 search results - page 840 / 1814 » Adaptive Model Checking |
203
click to vote
JUCS
2006
15 years 7 months ago
2006
Abstract: In this paper the analysis of the data structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance re...
434
click to vote
EGPGV
2011
Springer
14 years 11 months ago
2011
Springer
We present a state of the art read-only distributed shared memory (DSM) ray tracer capable of fully utilizing modern cluster hardware to render massive out-of-core polygonal model...
229
Voted
PPAM
2007
Springer
16 years 1 months ago
2007
Springer
Lattice-Boltzmann (LB) methods are a well-known technique in the context of computational fluid dynamics. By nature, they can easily be parallelized but their adaptation to the Gr...
161
Voted
AVSS
2006
IEEE
2006
IEEE
"Hybrid Cone-Cylinder" Codebook Model for Foreground Detection with Shadow and Highlight Suppression
16 years 1 months ago
In the interest of 24-7 long-term surveillance, a truly robust, adaptive, and fast background-foreground segmentation technique is required. This paper deals with the especially d...
192
click to vote
WETICE
2003
IEEE
16 years 28 days ago
2003
IEEE
This report summarizes presentations and discussions of the IEEE WETICE 2003 Workshop on Knowledge Management for Distributed Agile Processes. The main goals of the workshop were ...