1593 search results - page 226 / 319 » A visual programming system for automated problem solving |
148
click to vote
CAV
1998
Springer
15 years 8 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
133
click to vote
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
In this paper, we investigate the problem of automatic audio surveillance. This aspect of the surveillance, which extends the more investigated area of video surveillance, can be ...
142
click to vote
ISBI
2008
IEEE
15 years 10 months ago
2008
IEEE
Neurobiologists are collecting large amounts of electron microscopy image data to gain a better understanding of neuron organization in the central nervous system. Image analysis ...
120
click to vote
INTERSPEECH
2010
14 years 10 months ago
2010
French is known to be a language with major pronunciation irregularities at word endings with consonants. Particularly, the well-known phonetic phenomenon called Liaison is one of...
121
click to vote
EVOW
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This work describes the use of genetic algorithms for automating the photogrammetric network design process. When planning a photogrammetric network, the cameras should b...