8695 search results - page 1620 / 1739 » Making the Complex Simple |
156
click to vote
ICCAD
2002
IEEE
16 years 6 hour ago
2002
IEEE
Optimized solvers for the Boolean Satisfiability (SAT) problem have many applications in areas such as hardware and software verification, FPGA routing, planning, etc. Further use...
141
click to vote
PEPM
2009
ACM
16 years 2 hour ago
2009
ACM
Many applications need to respond to incremental modifications to data. Being incremental, such modification often require incremental modifications to the output, making it po...
146
click to vote
IUI
2009
ACM
16 years 1 hour ago
2009
ACM
Recent years have seen a resurgence of interest in programming by demonstration. As end users have become increasingly sophisticated, computer and artificial intelligence technolo...
126
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
Traditionally web applications have required an internet connection in order to work with data. Browsers have lacked any mechanisms to allow web applications to operate offline wi...
128
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
Web crawlers are increasingly used for focused tasks such as the extraction of data from Wikipedia or the analysis of social networks like last.fm. In these cases, pages are far m...