8828 search results - page 239 / 1766 » Formal methods in practice |
176
click to vote
COLING
1994
15 years 7 months ago
1994
In this note, we present results concerning the theory and practice of determining for a given document which of several categories it best fits. We describe a mathematical model ...
140
click to vote
IJDE
2002
15 years 5 months ago
2002
As more criminals use encryption to conceal incriminating evidence, forensic examiners require practical methods for recovering some or all of the encrypted data. This paper prese...
159
click to vote
EMISA
2009
Springer
15 years 3 months ago
2009
Springer
Abstract: Due to mergers and acquisitions as well as uncoordinated projects, application landscapes of today's organizations contain redundant applications (two or more applic...
192
click to vote
HICSS
2011
IEEE
14 years 9 months ago
2011
IEEE
We detail the methodology of ‘trace ethnography’, which combines the richness of participant-observation with the wealth of data in logs so as to reconstruct patterns and prac...
161
click to vote
ICFCA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Among many other knowledge representations formalisms, Ontologies and Formal Concept Analysis (FCA) aim at modeling ‘concepts’. We discuss how these two formalisms ma...