9110 search results - page 490 / 1822 » Formally-Based Design Evaluation |
155
click to vote
AI
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes the user interface design and evaluation of TransType, a system that watches over the user as he or she types a translation and repeatedly suggests completions...
139
click to vote
AUTOMATICA
2008
15 years 7 months ago
2008
: The problem of optimal sensor locations in nonparametric identification of viscoelastic materials is considered. Different criteria of the covariance matrix, connected to A- and ...
183
click to vote
TIP
2008
15 years 6 months ago
2008
This correspondence presents a video tracking framework using control-based observer design. It unifies several kernel-based approaches into a consistent theoretical framework by m...
147
click to vote
CSUR
1999
15 years 6 months ago
1999
Algorithm Engineering is concerned with the design, analysis, implementation, tuning, debugging and experimental evaluation of computer programs for solving algorithmic problems. ...
165
Voted
GLVLSI
2005
IEEE
16 years 14 days ago
2005
IEEE
Robustness of high fan-in domino circuits is degraded by technology scaling due to exponential increase in leakage. In this paper, we propose a new domino circuit for high fan-in ...