Sciweavers

1368 search results - page 195 / 274
» Personality-Based Practical Reasoning
Sort
View
SIBGRAPI
2003
IEEE
15 years 8 months ago
A Hole-Filling Strategy for Reconstruction of Smooth Surfaces in Range Images
Creating models of real scenes is a complex task for which the use of traditional modelling techniques is inappropriate. For this task, laser rangefinders are frequently used to s...
Jianning Wang, Manuel M. Oliveira
132
Voted
TPHOL
2003
IEEE
15 years 8 months ago
First Order Logic with Domain Conditions
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
Freek Wiedijk, Jan Zwanenburg
ATAL
2003
Springer
15 years 8 months ago
Norm adoption in the NoA agent architecture
Agents based on reactive planning architectures use pre-specified plans as behaviour specifications. Normative agents are motivated by norms in their behaviour: obligations motiva...
Martin J. Kollingbaum, Timothy J. Norman
ECSQARU
2003
Springer
15 years 8 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
GI
2003
Springer
15 years 8 months ago
Byzantine Failures and Security: Arbitrary is not (always) Random
: The Byzantine failure model allows arbitrary behavior of a certain fraction of network nodes in a distributed system. It was introduced to model and analyze the effects of very s...
Felix C. Gärtner