Sciweavers

3887 search results - page 646 / 778
» The World as Evolving Information
Sort
View
ENTCS
2007
143views more  ENTCS 2007»
13 years 8 months ago
Formal Fault Tree Analysis - Practical Experiences
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
Frank Ortmeier, Gerhard Schellhorn
NECO
2008
106views more  NECO 2008»
13 years 8 months ago
Faithful Representation of Stimuli with a Population of Integrate-and-Fire Neurons
We consider a formal model of stimulus encoding with a circuit consisting of a bank of filters and an ensemble of integrate-and-fire neurons. Such models arise in olfactory system...
Aurel A. Lazar, Eftychios A. Pnevmatikakis
MTA
2006
93views more  MTA 2006»
13 years 8 months ago
A multi-threshold online smoothing technique for variable rate multimedia streams
Variable bit rate (VBR) compression for media streams allocates more bits to complex scenes and fewer bits to simple scenes. This results in a higher and more uniform visual and au...
Roger Zimmermann, Cyrus Shahabi, Kun Fu, Mehrdad J...
IJMMS
2007
78views more  IJMMS 2007»
13 years 8 months ago
HCI reality - an 'Unreal Tournament'?
The cooperation between designers, engineers and scientists in the human–computer interaction (HCI) community is often difficult, and can only be explained by investigating the...
Christoph Bartneck, Matthias Rauterberg
TOG
2008
128views more  TOG 2008»
13 years 8 months ago
VirtualStudio2Go: digital video composition for real environments
We synchronize film cameras and LED lighting with off-the-shelf video projectors. Radiometric compensation allows displaying keying patterns and other spatial codes on arbitrary r...
Anselm Grundhöfer, Oliver Bimber