8582 search results - page 1435 / 1717 » Here or There |
172
click to vote
ESORICS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs pendent of cryptographic details. The ty...
164
click to vote
FPL
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Data dependent circuits are logic circuits specialized to specific input data. They are smaller and faster than the original circuits, although they are not reusable and...
207
click to vote
FSR
2003
Springer
15 years 12 months ago
2003
Springer
We develop a network of distributed mobile sensor systems as a solution to the emergency response problem. The mobile sensors are inside a building and they form a connected ad-ho...
188
click to vote
GCB
2003
Springer
15 years 12 months ago
2003
Springer
Clustering of EST data is a method for the non-redundant representation of an organisms transcriptome. During clustering of large amounts of EST data, usually some large clusters ...
191
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents an approach for classifying students in order to predict their final grade based on features extracted from logged data in an education web-based system. A comb...