3733 search results - page 161 / 747 » Logics of communication and change |
141
click to vote
ATAL
2011
Springer
14 years 1 months ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
Rather than upgrading a software system to the next version by installing a new binary, software systems could be updated "on-thefly" during their execution. We are devel...
108
click to vote
APLAS
2000
ACM
15 years 5 months ago
2000
ACM
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...
109
click to vote
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
─ Error tolerance formally captures the notion that – for a wide variety of applications including audio, video, graphics, and wireless communications – a defective chip that...
137
click to vote
ICMCS
2006
IEEE
15 years 7 months ago
2006
IEEE
Automatic facial expression analysis is an important aspect of Human Machine Interaction as the face is an important communicative medium. We use our face to signal interest, disa...