Sciweavers

1317 search results - page 2 / 264
» context 2005
Sort
View
EUC
2005
Springer
15 years 7 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
109
Voted
ICFP
2005
ACM
16 years 1 months ago
Towards a type theory of contexts
Frank Pfenning
76
Voted
ALT
2005
Springer
15 years 10 months ago
Identification in the Limit of Substitutable Context-Free Languages
Alexander Clark, Rémi Eyraud
74
Voted
ICCD
2005
IEEE
97views Hardware» more  ICCD 2005»
15 years 7 months ago
Dealing with I/O Devices in the Context of Pervasive System Verification
Mark A. Hillebrand, Thomas In der Rieden, Wolfgang...