1588 search results - page 267 / 318 » On the Logic of Constitutive Rules |
110
click to vote
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different languag...
104
click to vote
AINA
2007
IEEE
15 years 7 months ago
2007
IEEE
In the near future, homes are envisioned to be equipped with numerous intelligent communicating devices. Such smart home needs to exhibit highly adaptive behavior to meet the inha...
110
click to vote
FUZZIEEE
2007
IEEE
15 years 7 months ago
2007
IEEE
— This article presents a self-fuzzification method to enhance the settings of a Fuzzy Reasoning Classification adapted to the automated inspection of wooden boards. The supervis...
115
click to vote
CSCLP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The union-find algorithm can be seen as solving simple equations between variables or constants. With a few lines of code change, we generalise its implementation in CHR...
108
Voted
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper presents a prototype implementation of an intelligent assistance architecture for data-driven simulation specialising in qualitative data in the social science...