Sciweavers

3273 search results - page 94 / 655
» types 2007
Sort
View
ENTCS
2007
133views more  ENTCS 2007»
15 years 4 months ago
Modelchecking Correctness of Refactorings - Some Experiments
Refactorings are changes made to programs, models or specifications with the intention of improving their structure and thus making them clearer, more readable and re-usable. Ref...
H.-Christian Estler, Thomas Ruhroth, Heike Wehrhei...
EMNLP
2004
15 years 5 months ago
Instance-Based Question Answering: A Data-Driven Approach
Anticipating the availability of large questionanswer datasets, we propose a principled, datadriven Instance-Based approach to Question Answering. Most question answering systems ...
Lucian Vlad Lita, Jaime G. Carbonell
HCI
2001
15 years 5 months ago
Analysis of haptic data for sign language recognition
: For the past two years we have been addressing the challenges involved in managing the data generated within immersive environments. We together with many other researchers have ...
Cyrus Shahabi, Leila Kaghazian, Soham Mehta, Amol ...
123
Voted
BIRTHDAY
2007
Springer
15 years 10 months ago
A Denotational Semantics for Handel-C
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...
Andrew Butterfield
136
Voted
PATMOS
2007
Springer
15 years 10 months ago
Switching Activity Reduction of MAC-Based FIR Filters with Correlated Input Data
In this work we consider coefficient reordering for low power realization of FIR filters on fixed-point multiply-accumulate (MAC) based architectures, such as DSP processors. Com...
Oscar Gustafsson, Saeeid Tahmasbi Oskuii, Kenny Jo...