3081 search results - page 467 / 617 » A Formal Ontology of Properties |
163
click to vote
JAR
2008
15 years 6 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
165
click to vote
IJSYSC
2006
15 years 6 months ago
2006
: A backlash compensator is designed for nonlinear systems using the fuzzy logic. The classification property of fuzzy logic systems makes them a natural candidate for the rejectio...
179
click to vote
JMLR
2008
15 years 6 months ago
2008
Closed sets have been proven successful in the context of compacted data representation for association rule learning. However, their use is mainly descriptive, dealing only with ...
177
click to vote
LRE
2008
15 years 6 months ago
2008
Abstract. We introduce LTAG-spinal, a novel variant of traditional Lexicalized Tree Adjoining Grammar (LTAG) with desirable linguistic, computational and statistical properties. Un...
160
click to vote
ENTCS
2007
15 years 6 months ago
2007
We propose a process calculus to study the behavioural theory of Mobile Ad Hoc Networks. The operational semantics of our calculus is given both in terms of a Reduction Semantics ...