Sciweavers

3091 search results - page 254 / 619
» The Color Between Two Others
Sort
View
DLOG
2007
15 years 6 months ago
Prospects for and Issues with Mapping the Object-Role Modeling language into DLRifd
Object-Role modellers miss the advantages of automated reasoning over their ORM conceptual models, which could be addressed by DL reasoners. DLs are not considered user-friendly an...
C. Maria Keet
FLAIRS
2008
15 years 6 months ago
Paraphrase Identification with Lexico-Syntactic Graph Subsumption
The paper presents a new approach to the problem of paraphrase identification. The new approach extends a previously proposed method for the task of textual entailment. The relati...
Vasile Rus, Philip M. McCarthy, Mihai C. Lintean, ...
WSC
2007
15 years 6 months ago
Simulation framework for complex manufacturing systems with automated material handling
In this paper, we suggest a framework that allows for the simulation-based performance assessment of complex manufacturing systems with Automated Material Handling Systems (AMHS)....
Rene Driessel, Lars Mönch
CCS
2008
ACM
15 years 6 months ago
Computational soundness of observational equivalence
Many security properties are naturally expressed as indistinguishability between two versions of a protocol. In this paper, we show that computational proofs of indistinguishabili...
Hubert Comon-Lundh, Véronique Cortier
CEAS
2008
Springer
15 years 6 months ago
Improving Image Spam Filtering Using Image Text Features
In this paper we consider the approach to image spam filtering based on using image classifiers aimed at discriminating between ham and spam images, previously proposed by other a...
Giorgio Fumera, Fabio Roli, Battista Biggio, Ignaz...