10802 search results - page 329 / 2161 » Generative and developmental systems |
119
Voted
SAS
2000
Springer
15 years 8 months ago
2000
Springer
Computing invariants is the key issue in the analysis of infinite-state systems whether analysis means testing, verification or parameter synthesis. In particular, methods that all...
140
Voted
NIPS
2001
15 years 6 months ago
2001
Asymmetric lateral connections are one possible mechanism that can account for the direction selectivity of cortical neurons. We present a mathematical analysis for a class of the...
111
click to vote
AIPS
1994
15 years 5 months ago
1994
This paper describes work on the Multimission VICARPlanner (MVP) system to automatically construct executable imageprocessing procedures for custom image processing requests for t...
125
click to vote
MVA
1990
15 years 5 months ago
1990
This paper presents a method for measuringthe entire three dimensional (3D) shape of object, which is applicable for 3D digitizing into a solid modeling CAD. The method measures t...
147
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Attackers often take advantage of vulnerabilities in benign software, and the authors of benign software must search their code for bugs in hopes of finding vulnerabilities before...