2196 search results - page 12 / 440 » Practical Reasoning Using Values |
ICFEM
2005
Springer
14 years 1 months ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
DSS
2007
13 years 7 months ago
2007
The use of positive and negative reasons in inference and decision aiding is a recurrent issue of investigation as far as the type of formal language to use within a DSS is concer...
CSCW
2011
ACM
12 years 11 months ago
2011
ACM
This ethnographic study of 22 diverse families in the San Francisco Bay Area explores parents’ attitudes about their children’s use of technology. We found that parents from d...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Agility is a facet of software development attracting increasing interest. The purpose of this paper is to investigate the value of agility in practice. Data collected from senior...
LICS
2002
IEEE
14 years 13 days ago
2002
IEEE
This paper presents an algorithm for a non-standard logicminimization problem that arises in £ -valued propositional logic. The problem is motivated by the potential for obtainin...