6581 search results - page 419 / 1317 » Formalizing Design Patterns |
157
click to vote
ICDM
2007
IEEE
16 years 17 days ago
2007
IEEE
We consider the problem of relating itemsets mined on binary attributes of a data set to numerical attributes of the same data. An example is biogeographical data, where the numer...
149
click to vote
FMCAD
2007
Springer
16 years 12 days ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
202
click to vote
AUTOID
2005
IEEE
15 years 12 months ago
2005
IEEE
In this paper, we outline a framework for appropriate and proper usage of simulated data for biometric authentication. Currently, there are no formal guidelines concerning the use...
140
click to vote
RSFDGRC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Discovering diverse individual accessing behaviors in web environment is required before mining the valuable patterns from behaviors of groups of visitors. In this paper,...
147
click to vote
PASTE
2004
ACM
15 years 11 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...