3267 search results - page 537 / 654 » Generalized quasirandom graphs |
165
click to vote
PPDP
2007
Springer
16 years 16 days ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
170
click to vote
PSIVT
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. In a process of insect footprint recognition, footprint segments need to be extracted from scanned insect footprints in order to find out appropriate features for classi...
159
click to vote
SACRYPT
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Side-channel collision attacks were proposed in [1] and applied to AES in [2]. These are based on detecting collisions in certain positions of the internal state after th...
189
click to vote
SAS
2007
Springer
16 years 16 days ago
2007
Springer
We present a framework for inductive definitions in the logic of bunched implications, BI, and formulate two sequent calculus proof systems for inductive reasoning in this framewo...
156
click to vote
3DPVT
2006
IEEE
16 years 15 days ago
2006
IEEE
The extrinsic camera parameters from video stream images can be accurately estimated by tracking features through the image sequence and using these features to compute parameter ...