2413 search results - page 383 / 483 » Understanding the problem |
120
Voted
IGPL
2008
15 years 2 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
132
click to vote
ICDT
2010
ACM
15 years 2 months ago
2010
ACM
Schema mapping composition is a fundamental operation in schema management and data exchange. The mapping composition problem has been extensively studied for a number of mapping ...
136
click to vote
SIGOPS
2010
15 years 1 months ago
2010
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
145
click to vote
VIROLOGY
2010
15 years 1 months ago
2010
Abstract. This paper gives an overview of our research in the automation of the process of software protection analysis. We will focus more particularly on the problem of obfuscati...
157
click to vote
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
The explosive increase of image data on Internet has made it an important, yet very challenging task to index and automatically annotate image data. To achieve that end, sophistic...