5284 search results - page 782 / 1057 » Ontologizing Semantic Relations |
160
click to vote
WIKIS
2009
ACM
16 years 1 months ago
2009
ACM
Software development is a knowledge-intensive activity and frequently implies a progressive crystallization of knowledge, towards programming language statements. Although wikis h...
170
click to vote
ECBS
2007
IEEE
16 years 29 days ago
2007
IEEE
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...
177
click to vote
TPHOL
2007
IEEE
16 years 27 days ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
190
click to vote
IFM
2007
Springer
16 years 24 days ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
174
click to vote
SAMT
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In this paper we present a system, DoLSuD, for the automatic discovery of relevant substructures in a document layout. DoLSuD, Document Layout Substructure Discovery, ext...