499 search results - page 72 / 100 » LTL satisfiability checking |
GLOBECOM
2007
IEEE
15 years 6 months ago
2007
IEEE
— A ‘queued-code’ is a novel code which allows for instantaneous rate adaptation, to match the current channel state information (CSI), assumed known to the transmitter. Prev...
ECSQARU
2007
Springer
15 years 6 months ago
2007
Springer
We describe COBA 2.0, an implementation of a consistency-based framework for expressing belief change, focusing on revision and contraction (possibly) incorporating integrity cons...
ICWE
2007
Springer
15 years 6 months ago
2007
Springer
Initially, web development methods focused on the generation of read-only web applications for browsing the data stored in relational database systems. Lately, many have evolved to...
TRUSTBUS
2007
Springer
15 years 6 months ago
2007
Springer
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...
ICAT
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper, we propose a visual assistance system that shows the scene behind a vehicle to its driver in the form of a virtual mirror by utilizing a surveillance camera. The vir...