Sciweavers

330 search results - page 9 / 66
» A Unifying Version-Space Representation
Sort
View
APIN
2002
106views more  APIN 2002»
13 years 9 months ago
Querying Temporal Constraint Networks: A Unifying Approach
We develop the scheme of indefinite constraint databases using first-order logic as our representation language. When this scheme is instantiated with temporal constraints, the res...
Manolis Koubarakis
PROCEDIA
2010
103views more  PROCEDIA 2010»
13 years 4 months ago
Towards generating optimised finite element solvers for GPUs from high-level specifications
We argue that producing maintainable high-performance implementations of finite element methods for multiple targets requires that they are written using a high-level domain-speci...
Graham R. Markall, David A. Ham, Paul H. J. Kelly
ICEBE
2005
IEEE
139views Business» more  ICEBE 2005»
14 years 3 months ago
Modeling and Reasoning about Uncertainty in Context-Aware Systems
Uncertainty always exists as an unavoidable factor when developing context-aware applications for pervasive computing environments [1][2][3][4]. In this paper, we propose a unifie...
Binh An Truong, Young-Koo Lee, Sungyoung Lee
ACL
2010
13 years 7 months ago
A Unified Graph Model for Sentence-Based Opinion Retrieval
There is a growing research interest in opinion retrieval as on-line users' opinions are becoming more and more popular in business, social networks, etc. Practically speakin...
Binyang Li, Lanjun Zhou, Shi Feng, Kam-Fai Wong
EUC
2005
Springer
14 years 3 months ago
A Unified Context Model: Bringing Probabilistic Models to Context Ontology
Abstract. Ontology is a promising tool to model and reason about context information in pervasive computing environment. However, ontology does not support representation and reaso...
Binh An Truong, Young-Koo Lee, Sungyoung Lee