Sciweavers

2273 search results - page 32 / 455
» On the Expressiveness and Complexity of ATL
Sort
View
ACL
1990
13 years 9 months ago
The Computational Complexity of Avoiding Conversational Implicatures
Referring expressions and other object descriptions should be maximal under the Local Brevity, No Unnecessary Components, and Lexical Preference preference rules; otherwise, they ...
Ehud Reiter
ICCAD
2004
IEEE
121views Hardware» more  ICCAD 2004»
14 years 5 months ago
Factoring and eliminating common subexpressions in polynomial expressions
Polynomial expressions are used to compute a wide variety of mathematical functions commonly found in signal processing and graphics applications, which provide good opportunities...
Anup Hosangadi, Farzan Fallah, Ryan Kastner
CSB
2003
IEEE
123views Bioinformatics» more  CSB 2003»
14 years 1 months ago
Fourier Harmonic Approach for Visualizing Temporal Patterns of Gene Expression Data
DNA microarray technology provides a broad snapshot of the state of the cell by measuring the expression levels of thousands of genes simultaneously. Visualization techniques can ...
Li Zhang, Aidong Zhang, Murali Ramanathan
KBSE
2008
IEEE
14 years 2 months ago
QuARS Express - A Tool Demonstration
Requirements analysis is an important phase in a software project. Automatic evaluation of Natural Language (NL) requirements documents has been proposed as a means to improve the...
Antonio Bucchiarone, Stefania Gnesi, Giuseppe Lami...
VL
2005
IEEE
110views Visual Languages» more  VL 2005»
14 years 2 months ago
Forms of Expression for Designing Visual Languages for Animation
We present further steps in our research into visual languages for animation. Animation is a rich mode of communication that is currently accessible to few, because animation syst...
Richard C. Davis, James A. Landay