25218 search results - page 4688 / 5044 » A Logic-Based Information System |
179
click to vote
ELPUB
2006
ACM
16 years 22 days ago
2006
ACM
Various new imaging techniques have been used at the C2RMF, in order to digitize paintings and objects. These techniques are used for extensive and detailed non-destructive analys...
164
Voted
EXPDB
2006
ACM
16 years 22 days ago
2006
ACM
Two competing encoding concepts are known to scale well with growing amounts of XML data: XPath Accelerator encoding implemented by MonetDB for in-memory documents and X-Hive’s ...
183
click to vote
ISSTA
2006
ACM
16 years 22 days ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
166
click to vote
MIR
2006
ACM
16 years 22 days ago
2006
ACM
We present a general approach for automatically matching electronic slides to videos of corresponding presentations for use in distance learning and video proceedings of conferenc...
182
click to vote
MMSEC
2006
ACM
16 years 22 days ago
2006
ACM
The widespread use of the Internet makes software piracy and unauthorized modification easier and more frequent. Among the many techniques developed for protecting software copyr...