Sciweavers

5387 search results - page 944 / 1078
» Generating generic functions
Sort
View
MOBILIGHT
2010
15 years 13 days ago
A Framework for the Design Space Exploration of Software-Defined Radio Applications
Abstract. This paper describes a framework for the design space exploration of resource-efficient software-defined radio architectures. This design space exploration is based on a ...
Thorsten Jungeblut, Ralf Dreesen, Mario Porrmann, ...
SG
2010
Springer
15 years 12 days ago
An Interactive Interface for Lighting-by-Example
Lighting design in computer graphics is essentially not a random process but one driven by both a technical and aesthetic appreciation of lighting. In some applications, the result...
Hai Nam Ha, Christophe Lino, Marc Christie, Patric...
131
Voted
SIGDIAL
2010
15 years 12 days ago
Dialogue Act Modeling in a Complex Task-Oriented Domain
Classifying the dialogue act of a user utterance is a key functionality of a dialogue management system. This paper presents a data-driven dialogue act classifier that is learned ...
Kristy Elizabeth Boyer, Eun Y. Ha, Robert Phillips...
TAP
2010
Springer
134views Hardware» more  TAP 2010»
15 years 11 days ago
Testing First-Order Logic Axioms in Program Verification
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
Ki Yung Ahn, Ewen Denney
123
Voted
WCET
2010
15 years 11 days ago
A Code Policy Guaranteeing Fully Automated Path Analysis
Calculating the worst-case execution time (WCET) of real-time tasks is still a tedious job. Programmers are required to provide additional information on the program flow, analyzi...
Benedikt Huber, Peter P. Puschner