Sciweavers

275 search results - page 18 / 55
» On Languages with Very High Information Content
Sort
View
UML
2001
Springer
14 years 10 days ago
An Axiomatic Formalization of UML Models
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
FOIKS
2006
Springer
13 years 11 months ago
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
Ian Horrocks, Andrei Voronkov
CCS
1999
ACM
14 years 5 days ago
A High-Performance Network Intrusion Detection System
In this paper we present a new approach for network intrusion detection based on concise speciļ¬cations that characterize normal and abnormal network packet sequences. Our speciļ...
R. Sekar, Y. Guang, S. Verma, T. Shanbhag
NIPS
2000
13 years 9 months ago
A Neural Probabilistic Language Model
A goal of statistical language modeling is to learn the joint probability function of sequences of words in a language. This is intrinsically difficult because of the curse of dim...
Yoshua Bengio, Réjean Ducharme, Pascal Vinc...
MM
2010
ACM
115views Multimedia» more  MM 2010»
13 years 6 months ago
Interactive learning of heterogeneous visual concepts with local features
In the context of computer-assisted plant identiļ¬cation we are facing challenging information retrieval problems because of the very high within-class variability and of the lim...
Wajih Ouertani, Michel Crucianu, Nozha Boujemaa