466 search results - page 49 / 94 » Critical Reasoning |
HICSS
2010
IEEE
15 years 4 months ago
2010
IEEE
Different classes of information system stakeholders depend on different values to be successful. Understanding stakeholders’ value dependencies is critical for developing softw...
CHI
2010
ACM
15 years 4 months ago
2010
ACM
Patients do considerable information work. Technologies that help patients manage health information so they can play active roles in their health-care, such as personal health re...
ICLP
2009
Springer
15 years 4 months ago
2009
Springer
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
PAM
2009
Springer
15 years 4 months ago
2009
Springer
Estimate of packet-loss rates between arbitrary Internet hosts is critical for many large-scale distributed applications, including overlay routing, P2P media streaming, VoIP, and ...
TPHOL
2009
IEEE
15 years 4 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...