6719 search results - page 1032 / 1344 » A Generalization of Automatic Sequences |
174
click to vote
ISLPED
2006
ACM
16 years 1 months ago
2006
ACM
This paper addresses the problem of low-power fanout optimization. We show that due to neglecting short-circuit current, previous analytical techniques proposed to optimize the ar...
163
click to vote
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
193
click to vote
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
192
Voted
IUI
2006
ACM
16 years 1 months ago
2006
ACM
Recovering semantic relations between different parts of web pages are of great importance for multi-platform web interface development, as they make it possible to re-distribute ...
242
click to vote
MIR
2006
ACM
16 years 1 months ago
2006
ACM
Scalable approaches to video content classification are limited by an inability to automatically generate representations of events ode abstract temporal structure. This paper pre...