7055 search results - page 315 / 1411 » Some New 4-Designs |
187
click to vote
DAWAK
2007
Springer
15 years 10 months ago
2007
Springer
Most methods for temporal pattern mining assume that time is represented by points in a straight line starting at some initial instant. In this paper, we consider a new kind of fir...
163
click to vote
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
The paper presents a brief survey of the fight between spammers and antispam software developers, and also describes new approaches to spam filtering. In the first two sections we...
138
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
This paper discusses the obstacles that stand in the way of doing a good job of machine-code analysis. Compared with analysis of source code, the challenge is to drop all assumptio...
197
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
In this chapter, we explore the emerging research domain of modeldriven software refactoring. Program refactoring is a proven technique that aims at improving the quality of sourc...
181
click to vote
SAT
2010
Springer
15 years 10 months ago
2010
Springer
Some SAT-solvers are equipped with the ability to produce resolution proofs for problems which are unsatisfiable. Such proofs are used in a variety of contexts, including finding...