4833 search results - page 833 / 967 » Computation in a distributed information market |
152
click to vote
ESOP
2007
Springer
16 years 18 days ago
2007
Springer
tnesses for Abstract Interpretation-based Proofs Fr´ed´eric Besson, Thomas Jensen, and Tiphaine Turpin IRISA/{Inria, CNRS, Universit´e de Rennes 1} Campus de Beaulieu, F-35042 R...
192
click to vote
EUROPAR
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Hyperspectral imagery is a new type of high-dimensional image data which is now used in many Earth-based and planetary exploration applications. Many efforts have been d...
148
click to vote
GREC
2007
Springer
16 years 18 days ago
2007
Springer
Automatic separation of text and symbols from graphics in document image is one of the fundamental aims in graphics recognition. In maps, separation of text and symbols from graphi...
168
click to vote
ICSOC
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. An important architectural style for constructing enterprise applications is to use transactional workflows in SOA. In this setting, workflow activities invoke distribute...
169
click to vote
ISVC
2007
Springer
16 years 18 days ago
2007
Springer
Resource allocation in ad hoc communication networks is a field of high complexity because of both i) the distributed nature of the interactions between the nodes, and ii) the lar...