5879 search results - page 906 / 1176 » Separation - Past, Present, and Future |
227
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...
155
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
181
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
The properties of symmetric fitness functions are investigated. We show that a well-known encoding scheme inducing symmetric functions has the non-synonymous property and the sear...
147
click to vote
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
One of the solutions to deter copyright violations consists of embedding hard to detect watermarks in digital media. Current developments have focused on how to embed watermarks, ...
167
click to vote
AIIA
2003
Springer
15 years 10 months ago
2003
Springer
A novel, two stage, neural architecture for the segmentation of range data and their modeling with undeformed superquadrics is presented. The system is composed by two distinct neu...