5639 search results - page 542 / 1128 » Timed Abstract Non-interference |
190
click to vote
CSCLP
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
180
click to vote
CTRSA
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. A compact mesh architecture for supporting the relation collection step of the number field sieve is described. Differing from TWIRL, only isolated chips without inter-...
222
click to vote
DAWAK
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. Due to the dynamic nature of online information, XML documents typically evolve over time. The change of the data values or structures of an XML document may exhibit some...
166
click to vote
ECAI
2004
Springer
16 years 18 days ago
2004
Springer
Abstract— Learning techniques in robotic grasping applications have usually been concerned with the way a hand approaches to an object, or with improving the motor control of man...
182
click to vote
ECAI
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. In concrete environments, where uncertainty and dynamism are pervasive and time and resources are limited, reasoning and decision-making processes raise important problem...