8094 search results - page 273 / 1619 » Improvements in Formula Generalization |
112
Voted
ICAIL
2003
ACM
15 years 6 months ago
2003
ACM
Problems with legal quality will not only increase effort and costs of the law enforcement organisations, but also undermines the regulating power of the legislator. Unintended us...
154
Voted
ICTAI
2010
IEEE
14 years 10 months ago
2010
IEEE
In recent years, with the rapid proliferation of digital images, the need to search and retrieve the images accurately, efficiently, and conveniently is becoming more acute. Automa...
102
Voted
UIST
2010
ACM
14 years 10 months ago
2010
ACM
Data quality is critical for many information-intensive applications. One of the best opportunities to improve data quality is during entry. USHER provides a theoretical, data-dri...
119
click to vote
SIAMSC
2010
14 years 7 months ago
2010
In this paper, we outline two improvements to the fast sweeping method to improve the speed of the method in general and more specifically in cases where the speed is changing rapi...
170
Voted
ISCA
2012
IEEE
13 years 3 months ago
2012
IEEE
A significant portion of the energy dissipated in modern integrated circuits is consumed by the overhead associated with timing guardbands that ensure reliable execution. Timing ...