3771 search results - page 380 / 755 » Subobject Transformation Systems |
132
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. We introduce a semi-automated proof system for basic category-theoretic reasoning. It is based on a first-order sequent calculus that captures the basic properties of cat...
143
Voted
ICSE
2003
IEEE-ACM
16 years 5 months ago
2003
IEEE-ACM
Requirements engineering and software architecting are two key activities in software life cycle. Researchers have paid much attention to mapping and transformation from requireme...
116
click to vote
ER
2009
Springer
15 years 11 months ago
2009
Springer
Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information ...
149
click to vote
RULEML
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper, a novel architecture for high-level scene interpretation is introduced, which is based on the generation of rules from an OWL-DL ontology. It is shown that...
126
click to vote
IROS
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper presents a method to recognize and generate sequential motions for object manipulation such as placing one object on another or rotating it. Motions are learned usin...