834 search results - page 62 / 167 » Anaphora and the Logic of Change |
74
Voted
DAGSTUHL
2007
15 years 9 days ago
2007
The concept of relevance between classical propositional formulae, defined in terms of letter-sharing, has been around for a very long time. But it began to take on a fresh life i...
CSREAEEE
2006
15 years 8 days ago
2006
An e-lesson is comprised of a "body" and a "view". The body is the actual content of the e-lesson and the assumption is that it is an html document. The view i...
105
Voted
ADHOCNETS
2010
Springer
14 years 9 months ago
2010
Springer
Communication neighborhood in wireless sensor networks changes often as links break or appear. Therefore, monitoring link quality and (logical) network topology is necessary. As no...
105
click to vote
ICCS
2009
Springer
15 years 5 months ago
2009
Springer
We present a modular approach to realizing fine-grained adaptation of program behavior in a parallel environment. Using a compositional framework based on function call intercepti...
98
Voted
MFCS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...