Sciweavers

808 search results - page 89 / 162
» Consistent digital rays
Sort
View
89
Voted
CIKM
1999
Springer
15 years 2 months ago
A Comparison of Alternative Continuous Display Techniques with Heterogeneous Multi-Zone Disks
A number of recent technological trends have made data intensive applications such as continuous media audio and video servers a reality. These servers are expected to play an i...
Shahram Ghandeharizadeh, Seon Ho Kim
REX
1991
15 years 1 months ago
From Timed to Hybrid Systems
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
Oded Maler, Zohar Manna, Amir Pnueli
IMAGING
2003
14 years 11 months ago
A Large Image Database for Color Constancy Research
We present a study on various statistics relevant to research on color constancy. Many of these analyses could not have been done before simply because a large database for color ...
Florian Ciurea, Brian V. Funt
NN
2000
Springer
192views Neural Networks» more  NN 2000»
14 years 10 months ago
A new algorithm for learning in piecewise-linear neural networks
Piecewise-linear (PWL) neural networks are widely known for their amenability to digital implementation. This paper presents a new algorithm for learning in PWL networks consistin...
Emad Gad, Amir F. Atiya, Samir I. Shaheen, Ayman E...
SIGSOFT
2009
ACM
15 years 11 months ago
Supporting automatic model inconsistency fixing
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song...