Sciweavers

4306 search results - page 515 / 862
» Timed Testing with TorX
Sort
View
IJCNLP
2004
Springer
15 years 9 months ago
Spoken Versus Written Queries for Mobile Information Access: An Experiment on Mandarin Chinese
As Chinese is not alphabetic and the input of Chinese characters into computer is still a difficult and unsolved problem, voice retrieval of information becomes apparently an imp...
Heather Du, Fabio Crestani
WLP
2004
Springer
15 years 9 months ago
A Pragmatic Approach to Pre-testing Prolog Programs
Abstract. We present an overview on the AT(x) approach which is capable of automatically analyzing programs with respect to given tests and a reference solution. In the context of ...
Christoph Beierle, Marija Kulas, Manfred Widera
CP
2003
Springer
15 years 9 months ago
Applying Interchangeability Techniques to the Distributed Breakout Algorithm
This paper presents two methods for improving the performance of the Distributed Breakout Algorithm using the notion of interchangeability. In particular, we use neighborhood part...
Adrian Petcu, Boi Faltings
DATE
2002
IEEE
105views Hardware» more  DATE 2002»
15 years 9 months ago
Power-Manageable Scheduling Technique for Control Dominated High-Level Synthesis
Optimizing power consumption at high-level is a critical step towards power-efficient digital system designs. This paper addresses the power management problem by scheduling a giv...
Chunhong Chen, Majid Sarrafzadeh
IEEEMSP
2002
IEEE
167views Multimedia» more  IEEEMSP 2002»
15 years 9 months ago
An experimental study on the performance of visual information retrieval similarity models
–This paper is an experimental study on the performance of the two major methods for macro-level similarity measurement: linear weighted merging and logical retrieval. Performanc...
Horst Eidenberger, Christian Breiteneder