4354 search results - page 737 / 871 » Classification-based objective functions |
134
click to vote
TOPLAS
2002
15 years 4 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
150
click to vote
TSMC
2002
15 years 4 months ago
2002
Existing modeling frameworks for manufacturing system control can be classified into hierarchical, heterarchical, and hybrid control frameworks. The main drawbacks of existing fram...
143
click to vote
VLDB
2002
ACM
15 years 4 months ago
2002
ACM
Safe programming languages encourage the development of dynamically extensible systems, such as extensible Web servers and mobile agent platforms. Although protection is of utmost...
155
click to vote
MTA
2007
15 years 4 months ago
2007
There are numerous applications where there is a need to rapidly infer a story about a given subject from a given set of potentially heterogeneous data sources. In this paper, we f...
143
Voted
NAR
2007
15 years 4 months ago
2007
TOPOFIT-DB (T-DB) is a public web-based database of protein structural alignments based on the TOPOFIT method, providing a comprehensive resource for comparative analysis of prote...