Sciweavers

6367 search results - page 314 / 1274
» From Statistics to Beliefs
Sort
View
ISSRE
2008
IEEE
16 years 1 months ago
The Effect of the Number of Defects on Estimates Produced by Capture-Recapture Models
Project managers use inspection data as input to capture-recapture (CR) models to estimate the total number of faults present in a software artifact. The CR models use the number ...
Gursimran Singh Walia, Jeffrey C. Carver
IV
2007
IEEE
133views Visualization» more  IV 2007»
16 years 29 days ago
Focus Group Methodology for Evaluating Information Visualization Techniques and Tools
This paper proposes a structured methodology that uses focus group interviews to evaluate Information Visualization techniques and tools. Focus groups are particularly suitable fo...
Riccardo Mazza, Alessandra Berre
LICS
2007
IEEE
16 years 29 days ago
Resource modalities in game semantics
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is...
Paul-André Melliès, Nicolas Tabareau
163
Voted
DALT
2007
Springer
16 years 26 days ago
Satisfying Maintenance Goals
A rational agent derives its choice of action from its beliefs and goals. Goals can be distinguished into achievement goals and maintenance goals. The aim of this paper is to defi...
Koen V. Hindriks, M. Birna van Riemsdijk
LPNMR
2007
Springer
16 years 25 days ago
General Default Logic
Abstract. In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. The semantics of ex...
Yi Zhou, Fangzhen Lin, Yan Zhang