2858 search results - page 198 / 572 » Logics with Aggregate Operators |
118
click to vote
JSYML
2006
15 years 6 months ago
2006
We investigate diagonal actions of Polish groups and the related intersection operator on closed subgroups of the acting group. The Borelness of the diagonal orbit equivalence rela...
188
click to vote
LOPSTR
2009
Springer
16 years 1 months ago
2009
Springer
We show how to combine the two most powerful approaches for automated termination analysis of logic programs (LPs): the direct approach which operates directly on LPs and the trans...
192
click to vote
CHES
2007
Springer
16 years 19 days ago
2007
Springer
It is shown that the amount of true randomness produced by the recently introduced Galois and Fibonacci ring oscillators can be evaluated experimentally by restarting the oscillato...
193
click to vote
ISQED
2006
IEEE
16 years 14 days ago
2006
IEEE
— A new low voltage swing circuit technique based on a dual threshold voltage CMOS technology is presented in this paper for simultaneously reducing active and standby mode power...
182
click to vote
ICTAI
2003
IEEE
15 years 11 months ago
2003
IEEE
The interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally ...