16616 search results - page 327 / 3324 » Extending Extended Vacuity |
179
click to vote
COMPGEOM
2006
ACM
16 years 22 days ago
2006
ACM
Snap Rounding (SR for short) is a method for converting arbitrary-precision arrangements of line segments into a fixed-precision representation. In the previous years two variant...
206
click to vote
BERTINORO
2005
Springer
16 years 9 days ago
2005
Springer
We consider the problem of assigning transmission powers to the nodes of a wireless network in such a way that all the nodes are connected by bidirectional links and the total powe...
205
click to vote
CONCUR
2005
Springer
16 years 9 days ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...
176
click to vote
DALT
2005
Springer
16 years 6 days ago
2005
Springer
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous wo...
171
click to vote
IBERAMIA
2004
Springer
16 years 4 days ago
2004
Springer
Over the last years various semantics have been proposed for dealing with updates of logic programs by (other) logic programs. Most of these semantics extend the stable models sema...