Sciweavers

2174 search results - page 223 / 435
» Efficient Testing of Forecasts
Sort
View
64
Voted
CHI
2005
ACM
16 years 1 months ago
Evaluation of multimodal input for entering mathematical equations on the computer
Current standard interfaces for entering mathematical equations on computers are arguably limited and cumbersome. Mathematics notations have evolved to aid visual thinking and yet...
Lisa Anthony, Jie Yang, Kenneth R. Koedinger
112
Voted

Publication
642views
15 years 11 months ago
Real-Time Keyframe Extraction Towards Video Content Identification
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...
Maria Chatzigiorgaki, Athanassios N. Skodras
ICCAD
2002
IEEE
113views Hardware» more  ICCAD 2002»
15 years 9 months ago
INDUCTWISE: inductance-wise interconnect simulator and extractor
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...
Tsung-Hao Chen, Clement Luk, Hyungsuk Kim, Charlie...
86
Voted
ICCAD
2002
IEEE
146views Hardware» more  ICCAD 2002»
15 years 9 months ago
Conflict driven learning in a quantified Boolean Satisfiability solver
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...
Lintao Zhang, Sharad Malik
108
Voted
EUROPAR
2009
Springer
15 years 7 months ago
A Multilevel Parallelization Framework for High-Order Stencil Computations
Stencil based computation on structured grids is a common kernel to broad scientific applications. The order of stencils increases with the required precision, and it is a challeng...
Hikmet Dursun, Ken-ichi Nomura, Liu Peng, Richard ...