Sciweavers

BMVC
2010
13 years 2 months ago
Joint Modeling of Algorithm Behavior and Image Quality for Algorithm Performance Prediction
In this paper, we propose a framework for predicting the performance of a vision algorithm given the input image or video so as to maximize the algorithm's ability to provide...
Apurva Gala, Shishir Shah
ACSD
2010
IEEE
224views Hardware» more  ACSD 2010»
13 years 2 months ago
Robustness of Sequential Circuits
Digital components play a central role in the design of complex embedded systems. These components are interconnected with other, possibly analog, devices and the physical environm...
Laurent Doyen, Thomas A. Henzinger, Axel Legay, De...
ACL
2010
13 years 2 months ago
Paraphrase Lattice for Statistical Machine Translation
Lattice decoding in statistical machine translation (SMT) is useful in speech translation and in the translation of German because it can handle input ambiguities such as speech r...
Takashi Onishi, Masao Utiyama, Eiichiro Sumita
VSTTE
2010
Springer
13 years 2 months ago
To Goto Where No Statement Has Gone Before
Abstract. This paper presents a method for deriving an expression from the lowlevel code compiled from an expression in a high-level language. The input is a low-level control flo...
Michael Barnett, K. Rustan M. Leino
VC
2010
160views more  VC 2010»
13 years 2 months ago
A lightweight approach to repairing digitized polygon meshes
Abstract When designing novel algorithms for geometric processing and analysis, researchers often assume that the input conforms to several requirements. On the other hand, polygon...
Marco Attene
PVLDB
2010
134views more  PVLDB 2010»
13 years 3 months ago
High-Performance Dynamic Pattern Matching over Disordered Streams
Current pattern-detection proposals for streaming data recognize the need to move beyond a simple regular-expression model over strictly ordered input. We continue in this directi...
Badrish Chandramouli, Jonathan Goldstein, David Ma...
KES
2010
Springer
13 years 3 months ago
Interaction Technique Combining Gripping and Pen Pressures
Abstract. We propose an interaction technique called “gripping” to improve the operation of input with pen-based interfaces. This operation involves a strong grip when holding ...
Yu Suzuki, Kazuo Misue, Jiro Tanaka
JAIR
2010
111views more  JAIR 2010»
13 years 3 months ago
Grounding FO and FO(ID) with Bounds
Grounding is the task of reducing a first-order theory and finite domain to an equivalent propositional theory. It is used as preprocessing phase in many logic-based reasoning s...
Johan Wittocx, Maarten Mariën, Marc Denecker
ICONIP
2010
13 years 3 months ago
Learning Shapes Bifurcations of Neural Dynamics upon External Stimuli
Memory is often considered to be embedded into one of the attractors in neural dynamical systems, which provides an appropriate output depending on the initial state specified by ...
Tomoki Kurikawa, Kunihiko Kaneko
TOCHI
1998
112views more  TOCHI 1998»
13 years 4 months ago
The Integrality of Speech in Multimodal Interfaces
A framework of complementary behavior has been proposed which maintains that direct manipulation and speech interfaces have reciprocal strengths and weaknesses. This suggests that...
Michael A. Grasso, David S. Ebert, Timothy W. Fini...