6562 search results - page 944 / 1313 » Noetherianity and Combination Problems |
218
click to vote
TACAS
2010
Springer
16 years 2 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
235
click to vote
CISIS
2010
IEEE
16 years 2 months ago
2010
IEEE
—Most mobile devices are now Bluetooth-enabled. This wireless technology makes it possible to transfer files or stream contents between pieces of equipment. The possibly many de...
181
click to vote
CISIS
2010
IEEE
16 years 2 months ago
2010
IEEE
—Sequence alignment is a fundamental instrument in Bioinformatics. In recent years, numerous proposals have been addressing the problem of accelerating this class of applications...
193
click to vote
ICDE
2010
IEEE
16 years 2 months ago
2010
IEEE
Abstract— Checking if an SQL query has been written correctly is not an easy task. Formal verification is not applicable, since it is based on comparing a specification with an...
176
click to vote
CHI
2010
ACM
16 years 2 months ago
2010
ACM
Information overload is a growing threat to the productivity of today’s knowledge workers, who need to keep track of multiple streams of information from various sources. RSS fe...