Sciweavers

757 search results - page 100 / 152
» How to decide
Sort
View
ATAL
2003
Springer
14 years 3 months ago
Robust software via agent-based redundancy
This paper describes how multiagent systems can be used to achieve robust software, one of the major goals of software engineering. The paper first positions itself within the sof...
Michael N. Huhns, Vance T. Holderfield, Rosa Laura...
CIKM
2003
Springer
14 years 3 months ago
Content-based retrieval in hybrid peer-to-peer networks
Hybrid peer-to-peer architectures use special nodes to provide directory services for regions of the network (“regional directory services”). Hybrid peer-to-peer architectures...
Jie Lu, James P. Callan
ECSQARU
2003
Springer
14 years 3 months ago
Decision Making Based on Sampled Disease Occurrence in Animal Herds
To make qualified decisions when extrapolating results from a survey sample with imprecise tests requires careful handling of uncertainty. Both the imprecise test and uncertainty ...
Michael Höhle, Erik Jørgensen
ICTCS
2003
Springer
14 years 3 months ago
On the Computational Complexity of Cut-Elimination in Linear Logic
Abstract. Given two proofs in a logical system with a confluent cutelimination procedure, the cut-elimination problem (CEP) is to decide whether these proofs reduce to the same no...
Harry G. Mairson, Kazushige Terui
CA
2002
IEEE
14 years 3 months ago
A Hybrid Dynamical Systems Approach to Intelligent Low-Level Navigation
Animated characters may exhibit several kinds of dynamic intelligence when performing low-level navigation (i.e., navigation on a local perceptual scale): They decide among differ...
Eric Aaron, Harold C. Sun, Franjo Ivancic, Dimitri...