16616 search results - page 271 / 3324 » Extending Extended Vacuity |
161
click to vote
ICISC
2004
15 years 8 months ago
2004
Abstract. The XL (eXtended Linearization) equation-solving algorithm belongs to the same extended family as the advanced Gr
154
click to vote
ISAAC
1995
Springer
15 years 10 months ago
1995
Springer
An extended abstract of this paper will be presented at the Sixth Annual International Symposium on Algorithms and Computation.
142
click to vote
AUSAI
2007
Springer
16 years 26 days ago
2007
Springer
In this paper, we extend Defeasible Logic (a computationally-oriented non-monotonic logic) in order to deal with temporalised rules. In particular, we extend the logic to cope with...
187
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...
209
click to vote
JGT
2010
15 years 1 months ago
2010
We answer two open questions posed by Cameron and Nesetril concerning homomorphismhomogeneous graphs. In particular we show, by giving a characterization of these graphs, that ext...