10707 search results - page 1804 / 2142 » Designing executable abstractions |
157
click to vote
ACCV
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We develop an object detection method combining top-down recognition with bottom-up image segmentation. There are two main steps in this method: a hypothesis generation s...
202
click to vote
B
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
179
click to vote
BIOSURVEILLANCE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper reviews the results of a study into combining evidence from multiple streams of surveillance data in order to improve timeliness and specificity of detection ...
192
click to vote
CAISE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Internet users are becoming increasingly concerned about their personal information being collected and used by Web service providers. They want to ensure that it is stor...
180
click to vote
CHES
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper presents a design-space exploration of the Galois/Counter Mode (GCM) algorithm with Advanced Encryption Standard (AES) as underlying block cipher for high thro...