10462 search results - page 1889 / 2093 » Toward the |
150
click to vote
CPM
2007
Springer
16 years 21 days ago
2007
Springer
We consider the two-dimensional Range Minimum Query problem: for a static (m × n)-matrix of size N = mn which may be preprocessed, answer on-line queries of the form “where is t...
173
click to vote
DEXA
2007
Springer
16 years 21 days ago
2007
Springer
XML has become the standard format for data representation and exchange in domains ranging from Web to desktop applications. However, wide adoption of XML is hindered by inefficien...
178
click to vote
EMSOFT
2007
Springer
16 years 21 days 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...
171
click to vote
ESWS
2007
Springer
16 years 21 days ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
200
click to vote
ESWS
2007
Springer
16 years 21 days ago
2007
Springer
ct In recent years, the use of streamed digital video as a teaching and learning resource has become an increasingly attractive option for many educators as an innovation which exp...