1511 search results - page 245 / 303 » Relational Parametricity for Computational Effects |
162
Voted
COOPIS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
134
click to vote
HUC
2009
Springer
15 years 9 months ago
2009
Springer
Mobile privacy concerns are central to Ubicomp and yet remain poorly understood. We advocate a diversified approach, enabling the cross-interpretation of data from complementary m...
145
click to vote
AIEDU
2005
15 years 4 months ago
2005
The Bayesian framework offers a number of techniques for inferring an individual's knowledge state from evidence of mastery of concepts or skills. A typical application where ...
137
click to vote
AI
2000
Springer
15 years 4 months ago
2000
Springer
The World Wide Web is a vast source of information accessible to computers, but understandable only to humans. The goal of the research described here is to automatically create a...
128
click to vote
FAC
2010
15 years 1 months ago
2010
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an isolated atomic action as a family of transitions with a common before-state, an...