3082 search results - page 540 / 617 » Deviation Analysis: A New Use of Model Checking |
109
click to vote
ICDM
2007
IEEE
15 years 6 months ago
2007
IEEE
Sequential pattern mining is an active field in the domain of knowledge discovery. Recently, with the constant progress in hardware technologies, real-world databases tend to gro...
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
I present MOSES (meta-optimizing semantic evolutionary search), a new probabilistic modeling (estimation of distribution) approach to program evolution. Distributions are not esti...
FCCM
2006
IEEE
15 years 6 months ago
2006
IEEE
Recently, platform FPGAs that integrate sequential processors with a spatial fabric have become prevalent. While these hybrid architectures ease the burden of integrating sequenti...
SMI
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents a method to simulate growth phenomena, and its application to the modeling of complex organic shapes (e.g., plants organs) and folded surfaces. Our main contri...
FC
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. We present a new cryptographic auction protocol that prevents extraction of bid information despite any collusion of participants. This requirement is stronger than commo...