3710 search results - page 215 / 742 » A new calculus of contexts |
156
click to vote
ELPUB
2007
ACM
15 years 11 months ago
2007
ACM
The proposed paper analyses the changes in business models employed by the stakeholders in the newspaper value network, in the context of a new type of electronic reading device
162
click to vote
AI
2006
Springer
15 years 11 months ago
2006
Springer
In the context of probabilistic verification, we provide a new notion of trace-equivalence divergence between pairs of Labelled Markov processes. This divergence corresponds to the...
160
click to vote
OWLED
2008
15 years 8 months ago
2008
OWL ontologies are complex computational artifacts that are intimately connected with conceptual information and with application issues that are not easily explicable in the conte...
177
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
Abstract In this paper we look at the potential of program specialization techniques in the context of visualization. In particular we look at partial evaluation and pass separatio...
214
click to vote
LANMR
2004
15 years 8 months ago
2004
In this paper some theoretical results in ASP are discussed in the context of application development. An application of ASP in collaborative learning is presented as a motivation....