2210 search results - page 425 / 442 » CLEF 2001 - Overview of Results |
IFIP
2001
Springer
14 years 2 hour ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
INAP
2001
Springer
14 years 1 hour ago
2001
Springer
Mobile agent technology is an emerging technology that allows easier design, implementation, and maintenance of distributed systems. Mobility enables agents to reduce network load,...
ISEC
2001
Springer
14 years 1 hour ago
2001
Springer
A major problem facing the full deployment of business-to-consumer (B2C) e-commerce is the development of trust on the side of the consumer. People develop trust in a business thr...
ISRR
2001
Springer
14 years 56 min ago
2001
Springer
This paper presents our experience towards the conception of a virtual reality medical simulator coupled with haptic interaction aimed at training surgeons. This area of research h...
IWANN
2001
Springer
14 years 29 min ago
2001
Springer
: Long-term rainfall prediction is a challenging task especially in the modern world where we are facing the major environmental problem of global warming. In general, climate and ...