Sciweavers

330 search results - page 9 / 66
» A Unifying Version-Space Representation
Sort
View
APIN
2002
106views more  APIN 2002»
15 years 3 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»
14 years 10 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»
15 years 9 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
15 years 2 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
15 years 9 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