2210 search results - page 276 / 442 » CLEF 2001 - Overview of Results |
158
click to vote
CAV
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
146
click to vote
CC
2001
Springer
15 years 9 months ago
2001
Springer
Compilers can exploit knowledge that a variable has a fixed known value at a program point for optimizations such as code specialization and constant folding. Recent work has shown...
173
click to vote
CGI
2001
IEEE
15 years 9 months ago
2001
IEEE
Javra is a Java package for handling VRML scene graphs; it operates either stand-alone or in combination with a VRML browser. The combination of Javra and a VRML browser forms an ...
143
click to vote
CIMCA
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper we present a simple yet accurate model to forecast electricity load with Artificial Neural Networks (ANNs). We analyze the problem domain and choose the most adequat...
170
click to vote
ACL
2001
15 years 7 months ago
2001
We address the issue of on-line detection of communication problems in spoken dialogue systems. The usefulness is investigated of the sequence of system question types and the wor...