Sciweavers

3928 search results - page 411 / 786
» order 2006
Sort
View
JEC
2006
113views more  JEC 2006»
15 years 7 months ago
CyNC: A method for real time analysis of systems with cyclic data flows
The paper addresses a novel method for realtime analysis of systems with cyclic data flows. The presented method is based on Network Calculus principles, where upper and lower flo...
Henrik Schiøler, Jens Dalsgaard Nielsen, Ki...
JIIS
2006
103views more  JIIS 2006»
15 years 7 months ago
Time-focused clustering of trajectories of moving objects
Spatio-temporal, geo-referenced datasets are growing rapidly, and will be more in the near future, due to both technological and social/commercial reasons. From the data mining vie...
Mirco Nanni, Dino Pedreschi
JIPS
2006
129views more  JIPS 2006»
15 years 7 months ago
ASVMRT: Materialized View Selection Algorithm in Data Warehouse
: In order to acquire a precise and quick response to an analytical query, proper selection of the views to materialize in the data warehouse is crucial. In traditional view select...
Jin-Hyuk Yang, In-Jeong Chung
JLP
2006
81views more  JLP 2006»
15 years 7 months ago
Development graphs - Proof management for structured specifications
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...
Till Mossakowski, Serge Autexier, Dieter Hutter
JMIV
2006
166views more  JMIV 2006»
15 years 7 months ago
Fast Surface Segmentation Guided by User Input Using Implicit Extension of Minimal Paths
We introduce a novel implicit approach for single object segmentation in 3D images. The boundary surface of this object is assumed to contain two or more known curves (the constrai...
Roberto Ardon, Laurent D. Cohen, Anthony J. Yezzi