5639 search results - page 542 / 1128 » Timed Abstract Non-interference |
162
click to vote
CSCLP
2004
Springer
15 years 11 months 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...
156
Voted
CTRSA
2004
Springer
15 years 11 months 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-...
182
click to vote
DAWAK
2004
Springer
15 years 11 months 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...
150
Voted
ECAI
2004
Springer
15 years 11 months 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...
157
Voted
ECAI
2004
Springer
15 years 11 months 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...