1830 search results - page 84 / 366 » Centering in Dynamic Semantics |
ICPP
2007
IEEE
15 years 5 months ago
2007
IEEE
Quality of service (QoS) mechanisms allowing users to request for turn-around time guarantees for their jobs have recently generated much interest. In our previous work we had des...
CIVR
2004
Springer
15 years 4 months ago
2004
Springer
The aim of the SCHEMA Network of Excellence is to bring together a critical mass of universities, research centers, industrial partners and end users, in order to design a referenc...
FLAIRS
2009
14 years 9 months ago
2009
1 Two sentences are paraphrases if their meanings are equivalent but their words and syntax are different. Paraphrasing can be used to aid comprehension, stimulate prior knowledge,...
TSMC
2010
14 years 6 months ago
2010
We propose a new dynamic model which can be used within blob trackers to track the target's center of gravity. A strong point of the model is that it is designed to track a va...
100
click to vote
WOLLIC
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...