2661 search results - page 353 / 533 » A Semantics for Abstraction |
196
click to vote
LPNMR
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. The semantics of ex...
155
click to vote
MODELS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
164
click to vote
RULEML
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Rule Responder is an intelligent multi-agent system for collaborative teams and virtual communities that uses RuleML as its rule interchange format. The system allows the...
159
click to vote
SAMT
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. This paper presents an approach on high-level feature detection using a region thesaurus. MPEG-7 features are locally extracted from segmented regions and for a large set...
149
click to vote
SEMWEB
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. This paper presents a controlled language for ontology editing and a software implementation, based partly on standard NLP tools, for processing that language and manipul...