Sciweavers

808 search results - page 89 / 162
» Consistent digital rays
Sort
View
CIKM
1999
Springer
15 years 4 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 4 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
15 years 1 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»
15 years 8 days 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
16 years 1 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...