7778 search results - page 1089 / 1556 » Designing Controllers for Reachability |
167
Voted
DIMACS
1996
15 years 8 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
223
click to vote
GRAPHICSINTERFACE
1996
15 years 8 months ago
1996
Evaluating and comparing the quality of surface interpolants is an important problem in computer graphics, computer aided geometric design and scienti c visualization. We introduc...
187
click to vote
IJCAI
1989
15 years 7 months ago
1989
Solving design and analysis problems in physical worlds requires the representatio n of large amounts of knowledge. Recently, there has been much interest in explicitly making ass...
187
Voted
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Reliability is a critical issue in many multi-organizational distributed applications, be they web services, financial protocols, scientific computing infrastructure, and software ...
209
Voted
ETRA
2010
ACM
15 years 7 months ago
2010
ACM
This paper presents a set of qualitative and quantitative scores designed to assess performance of any eye movement classification algorithm. The scores are designed to provide a ...