1351 search results - page 91 / 271 » An Analysis of Inference with the Universum |
159
click to vote
IPPS
2006
IEEE
16 years 9 days ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
152
click to vote
ACSAC
2005
IEEE
15 years 12 months ago
2005
IEEE
In this paper, we present techniques for a network forensics analysis mechanism that includes effective evidence presentation, manipulation and automated reasoning. We propose the...
187
click to vote
QSIC
2005
IEEE
15 years 12 months ago
2005
IEEE
We propose a software requirements analysis method based on domain ontology technique, where we can establish a mapping between a software requirements specification and the doma...
157
click to vote
MLMI
2004
Springer
15 years 11 months ago
2004
Springer
Facial expression and hand gesture analysis plays a fundamental part in emotionally rich man-machine interaction (MMI) systems, since it employs universally accepted non-verbal cu...
164
click to vote
ICFP
1997
ACM
15 years 10 months ago
1997
ACM
We observe that the principal typing property of a type system is the enabling technology for modularity and separate compilation [10]. We use this technology to formulate a modul...