4192 search results - page 470 / 839 » Efficient testing of groups |
134
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
Increasing functionality, growing media volumes and dynamic data in today's in-vehicle information systems bear new challenges for user interaction design. Traditional hierar...
117
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
Current standard interfaces for entering mathematical equations on computers are arguably limited and cumbersome. Mathematics notations have evolved to aid visual thinking and yet...
186
click to vote
Publication
Keyframe extraction constitutes a fundamental unit in many video retrieval-related applications. In the emerging research field of content-based video copy detection, efficient rep...
124
click to vote
ICCAD
2002
IEEE
16 years 2 months ago
2002
IEEE
Abstract—A robust, efficient, and accurate inductance extraction and simulation tool, INDUCTWISE, is developed and described in this paper. This work advances the state-of-the-ar...
135
Voted
ICCAD
2002
IEEE
16 years 2 months ago
2002
IEEE
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...