4421 search results - page 784 / 885 » Libraries |
135
click to vote
CLEF
2007
Springer
15 years 7 months ago
2007
Springer
We describe cross language retrieval experiments using Amharic queries and English language document collection from our participation in the bilingual ad hoc track at the CLEF 20...
120
click to vote
DILS
2007
Springer
15 years 7 months ago
2007
Springer
2D-Nuclear magnetic resonance (NMR) spectroscopy is a powerful analytical method to elucidate the chemical structure of molecules. In contrast to 1D-NMR spectra, 2D-NMR spectra cor...
148
click to vote
EMSOFT
2007
Springer
15 years 7 months ago
2007
Springer
In networked control systems the controller of a physicallydistributed plant is implemented as a collection of tightlyinteracting, concurrent processes running on a distributed ex...
110
click to vote
EMSOFT
2007
Springer
15 years 7 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
116
Voted
ER
2007
Springer
15 years 7 months ago
2007
Springer
The tutorial first addresses requirements and semantic problems to integrate digital information into large scale, meaningful networks of knowledge that support not only access to...