Sciweavers

4833 search results - page 673 / 967
» Computation in a distributed information market
Sort
View
ERLANG
2003
ACM
16 years 6 hour ago
ARMISTICE: an experience developing management software with Erlang
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
David Cabrero, Carlos Abalde, Carlos Varela, Laura...
SIGIR
2003
ACM
16 years 1 hour ago
Decision-Theoretic Resource Selection for Different Data Types in MIND
In a federated digital library system, it is too expensive to query every accessible library. Resource selection is the task to decide to which libraries a query should be routed. ...
Henrik Nottelmann, Norbert Fuhr
CIKM
2003
Springer
15 years 12 months ago
The power-method: a comprehensive estimation technique for multi-dimensional queries
Existing estimation approaches for multi-dimensional databases often rely on the assumption that data distribution in a small region is uniform, which seldom holds in practice. Mo...
Yufei Tao, Christos Faloutsos, Dimitris Papadias
CONCUR
2003
Springer
15 years 12 months ago
Multi-Valued Model Checking via Classical Model Checking
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
Arie Gurfinkel, Marsha Chechik
EAGC
2003
Springer
15 years 12 months ago
ULabGrid, an Infrastructure to Develop Distant Laboratories for Undergrad Students over a Grid
Abstract. Nowadays, there is a big discussion about two different topics: how distance learning and the old fashioned learning can be improved using the new technologies. In both ...
Oscar Ardaiz, Pau Artigas, Luis Díaz de Cer...