8903 search results - page 1508 / 1781 » Alternative |
168
click to vote
ESOP
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
173
click to vote
ESWS
2007
Springer
16 years 26 days ago
2007
Springer
Annotea provides an annotation protocol to support collaborative Semantic Web-based annotation of digital resources accessible through the Web. It provides a model whereby a user m...
212
click to vote
FPGA
2007
ACM
16 years 26 days ago
2007
ACM
Chip-multiprocessors are quickly gaining momentum in all segments of computing. However, the practical success of CMPs strongly depends on addressing the difficulty of multithread...
179
click to vote
GECCO
2007
Springer
16 years 26 days ago
2007
Springer
Real life optimization problems often require finding optimal solution to complex high dimensional, multimodal problems involving computationally very expensive fitness function e...
126
click to vote
GI
2007
Springer
16 years 26 days ago
2007
Springer
: In der Ausführungsphase von Lieferketten werden die idealen Abläufe durch außerplanmäßige Ereignisse unterbrochen, auf die nur Menschen geeignet reagieren können. Qualifizi...