10891 search results - page 1715 / 2179 » Combining Model Reductions |
146
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Many real-world data are maintained in relational format, with different tables storing information about entities and their links or relationships. The structure (schema) of the ...
139
click to vote
EAAI
2008
15 years 4 months ago
2008
Fault tolerant measurements are an essential requirement for system identification, control and protection. Measurements can be corrupted or interrupted due to sensor failure, bro...
142
click to vote
ENTCS
2008
15 years 4 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
123
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Structural models determined by X-ray crystallography play a central role in understanding protein-protein interactions at the molecular level. Interpretation of these...
114
click to vote
CN
2006
15 years 4 months ago
2006
By combining the Open Kernel Environment, a Click-like software model known as Corral and basic concepts of active networking, we allow third-party code to control the code organi...