3385 search results - page 65 / 677 » Language, Logic, and the Brain |
LOPSTR
2007
Springer
14 years 4 months ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
SAC
2004
ACM
14 years 3 months ago
2004
ACM
The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints i...
RR
2010
Springer
13 years 8 months ago
2010
Springer
The Accountability In RDF (AIR) language is an N3-based, Semantic Web production rule language that supports nested activation of rules, negation, closed world reasoning, scoped co...
RSCTC
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We introduce an automated multi-spectral MRI segmentation technique based on approximate reducts derived from the data mining paradigm of the theory of rough sets. We uti...
ICLP
2009
Springer
14 years 10 months ago
2009
Springer
