1830 search results - page 328 / 366 » Centering in Dynamic Semantics |
WSC
2007
15 years 1 months ago
2007
In computational biology there is an increasing need to combine micro and macro views of the system of interest. Therefore, explicit means to describe micro and macro level and th...
107
click to vote
ASSETS
2008
ACM
15 years 1 months ago
2008
ACM
The World Wide Web (Web) is a visually complex, dynamic, multimedia system that can be inaccessible to people with visual impairments. SADIe addresses this problem by using Semant...
118
click to vote
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
101
click to vote
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
Most new words, or neologisms, bubble beneath the surface of widespread usage for some time, perhaps even years, before gaining acceptance in conventional print dictionaries [1]. A...
COMPSAC
2008
IEEE
15 years 28 days ago
2008
IEEE
We present an online framework to capture and recover from program failures and prevent them from occurring in the future through safe execution perturbations. The perturbations a...