Sciweavers

3032 search results - page 149 / 607
» Description Logic Rules
Sort
View
107
Voted
DLOG
1998
15 years 2 months 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
95
Voted
NLPRS
2001
Springer
15 years 5 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...
76
Voted
EURODAC
1994
IEEE
118views VHDL» more  EURODAC 1994»
15 years 4 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...
86
Voted
LREC
2008
158views Education» more  LREC 2008»
15 years 2 months 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
80
Voted
CONCUR
2007
Springer
15 years 6 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