Sciweavers

2381 search results - page 118 / 477
» On Ordering Descriptions in a Description Logic
Sort
View
ISCI
2010
103views more  ISCI 2010»
15 years 6 days ago
Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics
This paper focuses on the issue of how generalizations of continuous and leftcontinuous t-norms over linearly ordered sets should be from a logical point of view. Taking into acco...
Carles Noguera, Francesc Esteva, Lluis Godo
AAAI
2010
15 years 3 months ago
Past and Future of DL-Lite
We design minimal temporal description logics that are capable of expressing various aspects of temporal conceptual data models and investigate their computational complexity. We ...
Alessandro Artale, Roman Kontchakov, Vladislav Ryz...
ICPR
2008
IEEE
15 years 8 months ago
On-line handwritten Kanji string recognition based on grammar description of character structures
In this paper, we evaluate a method for on-line handwritten Kanji character recognition by describing the structure of Kanji using Stochastic Context-Free Grammar (SCFG), and exte...
Ikumi Ota, Ryo Yamamoto, Takuya Nishimoto, Shigeki...
ACSW
2006
15 years 3 months ago
Description of bad-signatures for network intrusion detection
Today, a computer network is under constant assault from attacks. In Computer Science, NIDS are used in order to protect a computer network against these intrusions. These systems...
Michael Hilker, Christoph Schommer
110
Voted
DAGSTUHL
1996
15 years 3 months ago
Multi-Level Lambda-Calculi: An Algebraic Description
Abstract. Two-level -calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose di...
Flemming Nielson, Hanne Riis Nielson