1914 search results - page 264 / 383 » Semantic domains for Handel-C |
120
Voted
DAIS
2003
15 years 2 months ago
2003
The ability to locate useful on-line Web Services is becoming critical for today’s service-oriented business applications. A number of efforts have been put to enhance the servic...
133
click to vote
IJCAI
2003
15 years 2 months ago
2003
Keyphrases are useful for a variety of purposes, including summarizing, indexing, labeling, categorizing, clustering, highlighting, browsing, and searching. The task of automatic ...
102
Voted
SLP
1997
15 years 2 months ago
1997
Compositionality of programsis an important concern in knowledge representation and software development. In the context of Logic Programming, up till now, the issue has mostly be...
111
click to vote
AAAI
1996
15 years 2 months ago
1996
Conditional logics play an important role in recent attempts to investigate default reasoning. This paper investigates firstorder conditional logic. We show that, as for first-ord...
129
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...