7335 search results - page 1384 / 1467 » Scene Based Reasoning |
126
Voted
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...
171
Voted
WABI
2009
Springer
15 years 10 months ago
2009
Springer
Background: Frameshift mutations in protein-coding DNA sequences produce a drastic change in the resulting protein sequence, which prevents classic protein alignment methods from ...
163
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Previous work in multiagent coordination has addressed the challenge of planning in domains where agents must optimize a global goal, while satisfying local resource constraints. ...
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
This paper details the implementation of a software framework that aids the development of distributed and self-configurable software systems. This framework is an instance of a n...
123
click to vote
BTW
2009
Springer
15 years 10 months ago
2009
Springer
Abstract: Extract-transform-load (ETL) tools are primarily designed for data warehouse loading, i.e. to perform physical data integration. When the operational data sources happen ...