Sciweavers

7167 search results - page 1154 / 1434
» A Technique for Invariant Generation
Sort
View
178
Voted
AIA
2006
15 years 8 months ago
Efficient Algorithm for Calculating Similarity between Trajectories Containing an Increasing Dimension
Time series data is usually stored and processed in the form of discrete trajectories of multidimensional measurement points. In order to compare the measurements of a query traje...
Perttu Laurinen, Pekka Siirtola, Juha Röning
AVI
2006
15 years 8 months ago
An evaluation of depth perception on volumetric displays
We present an experiment that compares volumetric displays to existing 3D display techniques in three tasks that require users to perceive depth in 3D scenes. Because they generat...
Tovi Grossman, Ravin Balakrishnan
BIOCOMP
2006
15 years 8 months ago
Finding Molecular Signature of Prostate Cancer: An Algorithmic Approach
123 African American men in America are 65% more likely to develop prostate cancer and are two to three times more likely to die of the disease than Caucasian men [1]. While resear...
Patrick Bobbie, Renee Reams, Sandra Suther, C. Per...
BIS
2006
122views Business» more  BIS 2006»
15 years 8 months ago
Variability Mechanisms in E-Business Process Families
Abstract Nowadays, process oriented software systems, like many business information systems, don't exist only in one single version, but in many variants for better coverage ...
Arnd Schnieders, Frank Puhlmann
CASCON
2006
118views Education» more  CASCON 2006»
15 years 8 months ago
Ensuring behavioural equivalence in test-driven porting
In this paper we present a test-driven approach to porting code from one object-oriented language to another. We derive an order for the porting of the code, along with a testing ...
Mark Hennessy, James F. Power
« Prev « First page 1154 / 1434 Last » Next »