7167 search results - page 198 / 1434 » A Technique for Invariant Generation |
197
click to vote
ASSETS
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we compare alternative techniques for evaluating a software system for simplifying the readability of texts for adults with mild intellectual disabilities (ID). We ...
182
click to vote
FCCM
1999
IEEE
15 years 11 months ago
1999
IEEE
The time it takes to reconfigure FPGAs can be a significant overhead for reconfigurable computing. In this paper we develop new compression algorithms for FPGA configurations that...
214
click to vote
DGO
2007
15 years 8 months ago
2007
A large portion of the government, business, cultural, and scientific digital data being created today needs to be archived and preserved for future use of periods ranging from a ...
213
click to vote
CJ
2004
15 years 7 months ago
2004
Building footprint simplification is of critical importance to radio propagation predictions in wireless communication systems as the prediction time is closely related to the num...
228
click to vote
KDD
2010
ACM
15 years 5 months ago
2010
ACM
Crisis Management and Disaster Recovery have gained immense importance in the wake of recent man and nature inflicted calamities. A critical problem in a crisis situation is how t...