9110 search results - page 291 / 1822 » Formally-Based Design Evaluation |
171
click to vote
HASE
1999
IEEE
15 years 11 months ago
1999
IEEE
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
168
click to vote
SIGGRAPH
1991
ACM
15 years 10 months ago
1991
ACM
A major problem challenging opera designers is the inability to coordinate lighting, projection systems, and set designs in the preliminary planning phase. New computer graphics t...
188
click to vote
ACMDIS
2008
ACM
15 years 8 months ago
2008
ACM
The StoryBank project is examining technologies and practices to allow digitally impoverished communities to take part in the user-generated content revolution. The approach invol...
159
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
In this paper, we present an attentive windowing technique that uses eye tracking, rather than manual pointing, for focus window selection. We evaluated the performance of 4 focus...
180
click to vote
ESCIENCE
2007
IEEE
16 years 27 days ago
2007
IEEE
This paper presents GMLE 1 , a generic and distributed framework for maximum likelihood evaluation. GMLE is currently being applied to astroinformatics for determining the shape o...