626 search results - page 62 / 126 » When Can Formal Methods Make a Real Difference |
140
click to vote
GRC
2010
IEEE
15 years 4 months ago
2010
IEEE
Inference of latent variables from complicated data is one important problem in data mining. The high dimensionality and high complexity of real world data often make accurate infe...
156
Voted
TLDI
2005
ACM
15 years 9 months ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
167
Voted
BMCBI
2010
15 years 26 days ago
2010
Background: To exploit the flood of data from advances in high throughput imaging of optically sectioned nuclei, image analysis methods need to correctly detect thousands of nucle...
130
Voted
ACSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
Modern malware often hide the malicious portion of their program code by making it appear as data at compiletime and transforming it back into executable code at runtime. This obf...
149
Voted
AIPR
2007
IEEE
15 years 9 months ago
2007
IEEE
Geometric structure of a scene can be reconstructed using many methods. In recent years, two prominent approaches have been digital photogrammetric analysis using passive stereo i...