1419 search results - page 204 / 284 » Notes on Formalizing Context |
133
Voted
AI
2010
Springer
15 years 25 days ago
2010
Springer
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...
135
click to vote
ENTCS
2006
15 years 21 days ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...
123
Voted
INFORMS
1998
15 years 11 days ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
103
Voted
GROUP
2009
ACM
15 years 7 months ago
2009
ACM
Coping with a new health issue often requires individuals to acquire knowledge and skills to manage personal health. Many patients turn to one another for experiential expertise o...
122
Voted
ICCS
2005
Springer
15 years 6 months ago
2005
Springer
Google’s project to digitize five of the world's greatest libraries will dramatically extend their search engine reach in the future. Current search-engine philosophy, which...