Sciweavers

2564 search results - page 287 / 513
» Witness sets of projections
Sort
View
JLP
2000
134views more  JLP 2000»
15 years 5 months ago
Abducing through negation as failure: stable models within the independent choice logic
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...
David Poole
SIGCSE
2002
ACM
131views Education» more  SIGCSE 2002»
15 years 5 months ago
Shortchanging the future of information technology: the untapped resource
Building on ideas from a virtual workshop and additional input from the scientific community, the CISE Directorate at the National Science Foundation established the Information T...
Angela M. Balcita, Doris L. Carver, Mary Lou Soffa
SJIS
2002
74views more  SJIS 2002»
15 years 5 months ago
Co-Realisation
This paper calls for a re-specification of IT systems design and development practice as corealisation. Co-realisation is an orientation to technology production that develops out...
Mark Hartswood, Rob Procter, Roger Slack, Alex Vos...
SOFTWARE
2002
15 years 5 months ago
Software Engineering is Not Enough
Much of the software engineering literature begins with an admonition that what practitioners are doing isn't enough--that the state-of-the-practice is creating bad software. ...
James A. Whittaker, Steven Atkin
IJAR
2010
106views more  IJAR 2010»
15 years 4 months ago
A minimum distance estimator in an imprecise probability model - Computational aspects and applications
The present article considers estimating a parameter θ in an imprecise probability model (Pθ)θ∈Θ which consists of coherent upper previsions Pθ . After the definition of a...
Robert Hable