9507 search results - page 448 / 1902 » Time-based language models |
148
click to vote
COLING
2008
15 years 8 months ago
2008
Multilinguality in ontologies has become an impending need for institutions worldwide with valuable linguistic resources in different natural languages. Since most ontologies are ...
194
Voted
FORTE
2007
15 years 8 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
173
Voted
LPNMR
2007
Springer
16 years 1 months ago
2007
Springer
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
188
click to vote
IFIP
2004
Springer
16 years 7 days ago
2004
Springer
In this paper we study the complexity of the model-checking problem for the tree logic introduced as the basis for the query language TQL [Cardelli and Ghelli, 2001]. We define tw...
174
click to vote
KI
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes the DiKe model-based diagnosis framework, which incorporates multiple diagnosis engines, multiple user-level system description languages, a theorem prover, an...