4008 search results - page 301 / 802 » An expressive language of signatures |
183
click to vote
LOPSTR
2007
Springer
16 years 26 days ago
2007
Springer
We propose an extension of Constraint Handling Rules (CHR) with aggregates such as sum, count, findall, and min. This new feature significantly improves the conciseness and expres...
145
click to vote
VMCAI
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
153
click to vote
IAT
2006
IEEE
16 years 23 days ago
2006
IEEE
In this paper, we defend the idea of integrating the actual cognitive features of novice users in the creation process of the applications to significantly increase the quality of...
165
Voted
ECAI
2004
Springer
16 years 3 days ago
2004
Springer
TCP-nets are an extension of CP-nets which allow the expression of conditional relative importance of pairs of variables. In this paper it is shown that a simple logic of condition...
184
click to vote
KI
2001
Springer
15 years 11 months ago
2001
Springer
Ontologies will play a pivotal rˆole in the “Semantic Web”, where they will provide a source of precisely defined terms that can be communicated across people and applicatio...