Sciweavers

2386 search results - page 291 / 478
» Representing and Reasoning with Preferences
Sort
View
WWW
2001
ACM
16 years 7 months ago
Conceptual linking: ontology-based open hypermedia
This paper describes the attempts of the COHSE project to define and deploy a Conceptual Open Hypermedia Service. Consisting of ? an ontological reasoning service which is used to...
Les Carr, Wendy Hall, Sean Bechhofer, Carole A. Go...
ICFP
2009
ACM
16 years 7 months ago
Purely functional lazy non-deterministic programming
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan
ASPLOS
2009
ACM
16 years 7 months ago
Per-thread cycle accounting in SMT processors
This paper proposes a cycle accounting architecture for Simultaneous Multithreading (SMT) processors that estimates the execution times for each of the threads had they been execu...
Stijn Eyerman, Lieven Eeckhout
ICASSP
2009
IEEE
16 years 1 months ago
Exploiting T-junctions for depth segregation in single images
Occlusion is one of the major consequences of the physical image generation process: it occurs when an opaque object partly obscures the view of another object further away from t...
Mariella Dimiccoli, Philippe Salembier
SEMCO
2009
IEEE
16 years 1 months ago
Conceptual Space Markup Language (CSML): Towards the Cognitive Semantic Web
—CSML is a semantic markup language created for the publishing and sharing of conceptual spaces, which are geometric structures that represent semantics at the conceptual level. ...
Benjamin Adams, Martin Raubal