2661 search results - page 379 / 533 » A Semantics for Abstraction |
83
Voted
APLAS
2008
ACM
15 years 8 days ago
2008
ACM
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...
ASWC
2008
Springer
15 years 8 days ago
2008
Springer
Abstract. In this paper we discuss the challenges of performing reasoning on large scale RDF datasets from the Web. We discuss issues and practical solutions relating to reasoning ...
70
Voted
ATAL
2008
Springer
15 years 8 days ago
2008
Springer
ended abstract provides an overview of my research towards a dissertation thesis in the context of programming cognitive agents with non-monotonic reasoning capabilities. Categori...
ATAL
2008
Springer
15 years 8 days ago
2008
Springer
Software systems are subject to ever increasing complexity and in need of efficient structuring. The concept of organization as an exand abstract real-world reference presents a pr...
89
Voted
BPM
2008
Springer
15 years 8 days ago
2008
Springer
Abstract. Developing service based complex applications (service composition) has become an important area of research in SOA. In spite of this, there has been little effort to und...