718 search results - page 126 / 144 » Extraction of Structured Programs from Specification Proofs |
CVPR
1996
IEEE
14 years 10 months ago
1996
IEEE
When computing descriptors of image data, the type of information that can be extracted may be strongly dependent on the scales at which the image operators are applied. This arti...
ECOOP
1999
Springer
14 years 28 days ago
1999
Springer
Many Java programmers believe they do not have to worry about memory management because of automatic garbage collection. In fact, many Java programs run out of memory unexpectedly ...
JOBIM
2000
14 years 6 days ago
2000
Protein-protein interactions are critical to many biological processes, extending from the formation of cellular macromolecular structures and enzymatic complexes to the regulation...
IMSCCS
2006
IEEE
14 years 2 months ago
2006
IEEE
Background: As more and more genomes are sequenced, comparative genomics approaches provide a methodology for identifying conserved regulatory elements that may be involved in gen...
ECIR
2010
Springer
13 years 10 months ago
2010
Springer
Prior-art search is an important task in patent retrieval. The success of this task relies upon the selection of relevant search queries. Typically terms for prior-art queries are ...