3119 search results - page 390 / 624 » General Default Logic |
180
click to vote
ATAL
2004
Springer
16 years 11 hour ago
2004
Springer
This paper deals with modeling mental states of a rational agent, in particular states based on agent’s desires. It shows that the world the agent belongs to forces it to restri...
144
click to vote
BIRTHDAY
2004
Springer
16 years 10 hour ago
2004
Springer
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...
171
click to vote
MFCS
2004
Springer
15 years 12 months ago
2004
Springer
A binary language-theoretic operation is proposed, which is dual to the concatenation of languages in the same sense as the universal quantifier in logic is dual to the existenti...
161
click to vote
PEPM
2004
ACM
15 years 12 months ago
2004
ACM
We implement strength reduction and loop-invariant code motion by specializing instrumented interpreters; we define a novel program transformation that uses bisimulation to ident...
168
Voted
PVM
2004
Springer
15 years 12 months ago
2004
Springer
On recent PC graphics cards, fully programmable parallel geometry and pixel units are available providing powerful instruction sets to perform arithmetic and logical operations. In...