774 search results - page 88 / 155 » Process Discovery Using Integer Linear Programming |
ENTCS
2007
15 years 2 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
124
click to vote
KDD
2004
ACM
16 years 2 months ago
2004
ACM
Essentially all data mining algorithms assume that the datagenerating process is independent of the data miner's activities. However, in many domains, including spam detectio...
106
Voted
ICDM
2007
IEEE
15 years 8 months ago
2007
IEEE
Constraints applied on classic frequent patterns are too strict and may cause interesting patterns to be missed. Hence, researchers have proposed to mine a more relaxed version of...
146
click to vote
ASPDAC
2010
ACM
15 years 9 days ago
2010
ACM
As Double Patterning Lithography(DPL) becomes the leading candidate for sub-30nm lithography process, we need a fast and lithography friendly decomposition framework. In this pape...
128
click to vote
GECCO
1999
Springer
15 years 6 months ago
1999
Springer
This paper uses the GP paradigm to evolve linear genotypes (individuals) that consist of Java byte code. Our prototype GP system is implemented in Java using a standard Java devel...