Sciweavers

3032 search results - page 149 / 607
» Description Logic Rules
Sort
View
DLOG
1998
14 years 1 days ago
Learning Composite Concepts
This paper proposes a framework to learn concepts from di erent kinds of observations. We de ne a language to describe meta-concepts, that represent the sets of possible concepts ...
Patrick Lambrix, Pierpaolo Larocchia
NLPRS
2001
Springer
14 years 3 months ago
Hierarchical Concept Description and Learning for Information Extraction
This paper addresses the problem of extracting information from textual documents, either normal documents or web pages. A new approach for extracting complicate information from ...
Luo Xiao, Dieter Wissmann, Michael Brown, Stefan J...
EURODAC
1994
IEEE
118views VHDL» more  EURODAC 1994»
14 years 2 months ago
The semantics of behavioral VHDL '93 descriptions
We present a rigorous but transparent semantic de nition of VHDL'93 covering the complete signal behavior and time model including the various wait statements and signal assi...
Wolfgang Müller 0003, Egon Börger, Uwe G...
LREC
2008
158views Education» more  LREC 2008»
14 years 4 days ago
Linguistic Description and Automatic Extraction of Definitions from German Court Decisions
This paper discusses the use of computational linguistic technology to extract definitions from a large corpus of German court decisions. We present a corpus-based survey of defin...
Stephan Walter
CONCUR
2007
Springer
14 years 4 months ago
Is Observational Congruence Axiomatisable in Equational Horn Logic?
It is well known that bisimulation on µ-expressions cannot be finitely axiomatised in equational logic. Complete axiomatisations such as those of Milner and Bloom/´Esik necessar...
Michael Mendler, Gerald Lüttgen