Sciweavers

1798 search results - page 209 / 360
» Generating presentation constraints from rhetorical structur...
Sort
View
MTV
2003
IEEE
109views Hardware» more  MTV 2003»
15 years 11 months ago
A Methodology for Validation of Microprocessors using Equivalence Checking
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
Prabhat Mishra, Nikil D. Dutt
ICST
2010
IEEE
15 years 5 months ago
TestFul: An Evolutionary Test Approach for Java
Abstract—This paper presents TestFul, an evolutionary testing approach for Java classes that works both at class and method level. TestFul exploits a multi-objective evolutionary...
Luciano Baresi, Pier Luca Lanzi, Matteo Miraz
3DPVT
2006
IEEE
186views Visualization» more  3DPVT 2006»
16 years 15 days ago
Range Image Registration Based on Circular Features
Range sensing technology allows the photo-realistic modeling of large-scale scenes, such as urban structures. A major bottleneck in the process of 3D scene acquisition is the auto...
Cecilia Chao Chen, Ioannis Stamos
CVPR
2008
IEEE
16 years 8 months ago
Edge preserving spatially varying mixtures for image segmentation
A new hierarchical Bayesian model is proposed for image segmentation based on Gaussian mixture models (GMM) with a prior enforcing spatial smoothness. According to this prior, the...
Giorgos Sfikas, Christophoros Nikou, Nikolas P. Ga...
MOBISYS
2003
ACM
16 years 6 months ago
Anonymous Usage of Location-Based Services Through Spatial and Temporal Cloaking
Advances in sensing and tracking technology enable location-based applications but they also create significant privacy risks. Anonymity can provide a high degree of privacy, save...
Marco Gruteser, Dirk Grunwald