Sciweavers

2174 search results - page 223 / 435
» Efficient Testing of Forecasts
Sort
View
CHI
2005
ACM
16 years 3 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
143
Voted

Publication
642views
16 years 1 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»
16 years 6 days 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...
107
Voted
ICCAD
2002
IEEE
146views Hardware» more  ICCAD 2002»
16 years 5 days 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
EUROPAR
2009
Springer
15 years 10 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 ...