1364 search results - page 175 / 273 » Comparative Branching-Time Semantics |
160
Voted
SDL
2001
15 years 5 months ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
131
click to vote
RIAO
2004
15 years 5 months ago
2004
We introduce a new method for automatically constructing concept hierarchies where the concept nodes follow a generalization / specialization relation. Starting from a set of conc...
123
click to vote
IJCAI
2003
15 years 5 months ago
2003
We present an approach for learning part-of-speech distinctions by induction over the lexicon of the Cyc knowledge base. This produces good results (74.6%) using a decision tree t...
103
click to vote
COLING
1996
15 years 5 months ago
1996
2 Focus theory Pulman has shown that Higher-Order Unifcation (HOU) can be used to model the interpretation of focus. In this paper, we extend the unification based approach to case...
125
Voted
COLING
1996
15 years 5 months ago
1996
Tiffs work belongs to a family of research efforts, called nficrotheories and aimed at describing the static inemfing of all lexical categories in several languages in the fr,...