378 search results - page 50 / 76 » Automating Mathematical Program Transformations |
113
Voted
ISBI
2009
IEEE
15 years 6 months ago
2009
IEEE
In live-cell fluorescence microscopy imaging, quantitative analysis of biological image data generally involves the detection of many subresolution objects, appearing as diffract...
WEBI
2005
Springer
15 years 4 months ago
2005
Springer
In this paper, we present an efficient model for discovering repeated patterns in symbolic representations of music. Combinatorial redundancy inherent to the pattern discovery pa...
77
Voted
WSC
2004
15 years 15 days ago
2004
Stream Option Manager (SOM) is a set of mathematical tools developed at The MITRE Corporation's Center for Advanced Aviation System Development (CAASD). While still under dev...
MOMPES
2006
IEEE
15 years 5 months ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...
70
Voted
TLCA
1999
Springer
15 years 3 months ago
1999
Springer
AnnoDomini is a commercially available source-to-source conversion tool for finding and fixing Year 2000 problems in COBOL programs. AnnoDomini uses type-based specification, an...