6167 search results - page 108 / 1234 » Can Refinement be Automated |
135
click to vote
DKE
2007
15 years 4 months ago
2007
Ontology is playing an increasingly important role in knowledge management and the Semantic Web. This study presents a novel episode-based ontology construction mechanism to extra...
135
click to vote
ENDM
2000
15 years 4 months ago
2000
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
126
click to vote
ENTER
2009
Springer
15 years 1 months ago
2009
Springer
High quality product data is a necessary prerequisite for supporting efficient browsing and recommendation procedures on e-commerce platforms. This is especially true for the tour...
142
Voted
B
1998
Springer
15 years 8 months ago
1998
Springer
Reactive systems can be designed graphically using statecharts. This paper presents a scheme for the translation of statecharts into the Abstract Machine Notation (AMN) of the B me...
118
click to vote
CSR
2006
Springer
15 years 7 months ago
2006
Springer
The logic of proofs is known to be complete for the semantics of proofs in PA. In this paper we present a refinement of this theorem, we will show that we can assure that all the ...