Sciweavers

1620 search results - page 148 / 324
» Testing Polymorphic Properties
Sort
View
SMI
2008
IEEE
139views Image Analysis» more  SMI 2008»
16 years 16 days ago
Noise in 3D laser range scanner data
This paper discusses noise in range data measured by a Konica Minolta Vivid 910 scanner. Previous papers considering denoising 3D mesh data have often used artificial data compri...
Xianfang Sun, Paul L. Rosin, Ralph R. Martin, Fran...
COMPSAC
2005
IEEE
15 years 11 months ago
An Empirical Performance Study for Validating a Performance Analysis Approach: PSIM
Performance analysis gains more attention in recent years by researchers who focus their study on the early software development stages to mitigate the risk of redesign as problem...
Jinchun Xia, Yujia Ge, Carl K. Chang
178
Voted
HICSS
2000
IEEE
153views Biometrics» more  HICSS 2000»
15 years 10 months ago
On Verifying Distributed Multithreaded Java Programs
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
Jessica Chen
KDD
1997
ACM
122views Data Mining» more  KDD 1997»
15 years 10 months ago
Computing Optimized Rectilinear Regions for Association Rules
We address the problem of nding useful regions for two-dimensional association rules and decision trees. In a previous paper we presented ecient algorithms for computing optimiz...
Kunikazu Yoda, Takeshi Fukuda, Yasuhiko Morimoto, ...
IJIT
2004
15 years 7 months ago
Modeling Biology Inspired Reactive Agents Using X-machines
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
George Eleftherakis, Petros Kefalas, Anna Sotiriad...