Sciweavers

675 search results - page 100 / 135
» What Is New in Our City
Sort
View
HVEI
2009
13 years 8 months ago
Model validation of channel zapping quality
In an earlier paper we showed, that perceived quality of channel zapping is related to the perceived quality of download time of web browsing, as suggested by ITU-T Rec.G.1030. We...
Robert E. Kooij, Floris Nicolai, Ahmed Kamal, Kjel...
ICCAD
2009
IEEE
106views Hardware» more  ICCAD 2009»
13 years 8 months ago
Quantifying robustness metrics in parameterized static timing analysis
Process and environmental variations continue to present significant challenges to designers of high-performance integrated circuits. In the past few years, while much research has...
Khaled R. Heloue, Chandramouli V. Kashyap, Farid N...
ENTCS
2011
99views more  ENTCS 2011»
13 years 5 months ago
Symmetry and Composition in Probabilistic Theories
The past decade has seen a remarkable resurgence of the old programme of finding more or less a priori axioms for the mathematical framework of quantum mechanics. The new impetus...
Alexander Wilce
EJC
2010
13 years 5 months ago
Inferencing in Database Semantics
As a computational model of natural language communication, Database Semantics1 (DBS) includes a hearer mode and a speaker mode. For the content to be mapped into language expressi...
Roland Hausser
AIPS
2011
13 years 2 months ago
Visual Programming of Plan Dynamics Using Constraints and Landmarks
In recent years, there has been considerable interest in the use of planning techniques in new media and computer games. Many traditional planning notions no longer apply in the c...
Julie Porteous, Jonathan Teutenberg, David Pizzi, ...