370 search results - page 62 / 74 » Mathematical Symbol Indexing |
118
Voted
IMAGING
2003
14 years 11 months ago
2003
Many image formation processes are complex interactions of several sub-processes and the analysis of the resulting images requires often to separate the influence of these sub-pr...
110
click to vote
PLDI
2011
ACM
14 years 14 days ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
BMCBI
2007
14 years 9 months ago
2007
Background: Although molecular pathway information and the International HapMap Project data can help biomedical researchers to investigate the aetiology of complex diseases more ...
JOT
2008
14 years 9 months ago
2008
This paper describes how use the HTMLEditorKit to perform web data mining on EDGAR (Electronic Data-Gathering, Analysis, and Retrieval system). EDGAR is the SEC's (U.S. Secur...
174
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract-- Particle simulation has become an important research tool in many scientific and engineering fields. Data generated by such simulations impose great challenges to databa...