549 search results - page 54 / 110 » Using Formal Concept Analysis in Mathematical Discovery |
149
click to vote
KDD
2006
ACM
16 years 4 months ago
2006
ACM
Statistics on networks have become vital to the study of relational data drawn from areas such as bibliometrics, fraud detection, bioinformatics, and the Internet. Calculating man...
113
click to vote
SPLC
2008
15 years 5 months ago
2008
This paper introduces an extractive approach to building-up a product line based on existing systems. Thereby, we focus on the analysis of common functionalities across different ...
124
click to vote
WSC
1998
15 years 5 months ago
1998
Informational Macrodynamics (IMD) presents a unified informational systemic approach with common information language for modeling, analysis and optimization of a variety of inter...
117
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
To protect against replay attacks, many Internet protocols rely on nonces to guarantee freshness. In practice, the server generates these nonces during the initial handshake, but ...
139
click to vote
CCS
1998
ACM
15 years 8 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...