1082 search results - page 171 / 217 » interactions 2000 |
CIKM
2000
Springer
13 years 11 months ago
2000
Springer
Geographic Information Systems (GISs) have become an essential tool for efficient handling of our natural and artificial environment. The most important activities in a GIS are qu...
ECWEB
2000
Springer
13 years 11 months ago
2000
Springer
Agent technologies are now being considered for automating tasks in e-commerce applications. However, conventional software agents with predefined functions, but without the abilit...
FC
2000
Springer
13 years 11 months ago
2000
Springer
Every novel cooperative arrangement of mutually suspicious parties interacting electronically -- every smart contract -- effectively requires a new cryptographic protocol. However,...
FTRTFT
2000
Springer
13 years 11 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
GECCO
2000
Springer
13 years 11 months ago
2000
Springer
In previous work we showed, by Walsh analysis, that summary statistics such as mean, variance, skew, and higher order statistics can be computed in polynomial time for embedded la...