2216 search results - page 114 / 444 » Hedging Structured Concepts |
158
click to vote
CAV
2003
Springer
15 years 8 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
150
Voted
CSSW
2007
15 years 6 months ago
2007
Abstract: Large amounts of information from various sources have often to be considered when collaboratively developing semantic structures. Examining all relevant information can ...
136
Voted
IADIS
2003
15 years 6 months ago
2003
This paper presents an innovative approach that deals with two specific problems encountered in the E-Government domain. The first problem is the cultural gap between laws and reg...
142
click to vote
COLING
1992
15 years 6 months ago
1992
This paper presents a direct implementation of Government-Binding theory in a parser for German, which faithfully models the modular structure of the theory. The modular design yi...
161
Voted
COMBINATORICS
1998
15 years 4 months ago
1998
A multimatroid is a combinatorial structure that encompasses matroids, delta-matroids and isotropic systems. This structure has been introduced to unify a theorem of Edmonds on th...