Sciweavers

28888 search results - page 397 / 5778
» Computability and complexity in analysis
Sort
View
SOFSEM
2007
Springer
16 years 28 days ago
Separation of Concerns and Consistent Integration in Requirements Modelling
Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very hig...
Xin Chen, Zhiming Liu, Vladimir Mencl
CVBIA
2005
Springer
16 years 11 days ago
Segmentation of 3D CT Volume Images Using a Single 2D Atlas
Segmentation of medical images is an important first step in the analysis of medical images. A lot of research has been performed on the segmentation of complex CT/MR images using...
Feng Ding, Wee Kheng Leow, Shih-Chang Wang
AGP
2003
IEEE
16 years 3 days ago
Time Equations for Lazy Functional (Logic) Languages
There are very few approaches to measure the execution costs of lazy functional (logic) programs. The use of a lazy execution mechanism implies that the complexity of an evaluation...
Elvira Albert, Josep Silva, Germán Vidal
182
Voted
ICIP
1999
IEEE
15 years 11 months ago
Edge Directed Prediction for Lossless Compression of Natural Images
This paper sheds light on the recent least-square (LS)-based adaptive prediction schemes for lossless compression of natural images. Our analysis shows that the superiority of the ...
Xin Li, Michael T. Orchard
CHI
1998
ACM
15 years 11 months ago
Exploring Browser Design Trade-Offs Using a Dynamical Model of Optimal Information Foraging
Designers and researchers of human-computer interaction need tools that permit the rapid exploration and management of hypotheses about complex interactions of designs, task condi...
Peter Pirolli