1569 search results - page 25 / 314 » Automated Design Improvement by Example |
182
click to vote
GIS
2007
ACM
16 years 25 days ago
2007
ACM
The automatic creation of 3D models of urban spaces has become a very active field of research. This has been inspired by recent applications in the location-awareness on the Inte...
CHI
2007
ACM
16 years 5 days ago
2007
ACM
Today many workers spend too much of their time translating their co-workers' requests into structures that information systems can understand. This paper presents the novel ...
104
click to vote
BMCBI
2006
14 years 11 months ago
2006
Background: Supervised learning for classification of cancer employs a set of design examples to learn how to discriminate between tumors. In practice it is crucial to confirm tha...
87
Voted
SP
2008
IEEE
15 years 6 months ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
QOSA
2009
Springer
15 years 4 months ago
2009
Springer
When software projects evolve their actual implementation and their intended architecture may drift apart resulting in problems for further maintenance. As a countermeasure it is g...