4382 search results - page 663 / 877 » Query by Semantic Example |
125
Voted
IJCAI
2007
15 years 4 months ago
2007
This article proposes a Diagnosis Interchange Format (DIF), an XML-based interchange format for Model-Based Diagnosis (MBD). Its main purposes are to allow sharing of diagnostic m...
150
Voted
SPLC
2008
15 years 4 months ago
2008
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...
139
click to vote
VMV
2008
15 years 4 months ago
2008
Architectural blueprints offer a concise, clear and high-level description of the structure of a building. On the other hand, state of the art reconstruction pipelines can nowaday...
113
click to vote
ACL
2006
15 years 4 months ago
2006
As natural language understanding research advances towards deeper knowledge modeling, the tasks become more and more complex: we are interested in more nuanced word characteristi...
127
click to vote
CIC
2004
15 years 4 months ago
2004
Abstract--The types of lexicons necessary for Transparent Intensional Logic (TIL) logical analysis will be described. We will show the algorithm for analysing the TIL verbal object...