Sciweavers

1138 search results - page 25 / 228
» Talking about concerns
Sort
View
ECAL
2001
Springer
15 years 10 months ago
I Like What I Know: How Recognition-Based Decisions Can Structure the Environment
Cognitive mechanisms are shaped by evolution to match their environments. But through their use, these mechanisms exert a shaping force on their surroundings as well. Here we explo...
Peter M. Todd, Simon Kirby
CL
2000
Springer
15 years 10 months ago
Dominance Constraints with Set Operators
Abstract. Dominance constraints are widely used in computational linguistics as a language for talking and reasoning about trees. In this paper, we extend dominance constraints by ...
Denys Duchier, Joachim Niehren
POPL
1999
ACM
15 years 10 months ago
Parametric Shape Analysis via 3-Valued Logic
hought of as abstract interpretation for the heap How we talk about the heap   Program var X points to U that has an N field pointing to V   We use first order predicate logic ¡...
Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
IPMU
1994
Springer
15 years 9 months ago
Philosophical Foundations for Causal Networks
Bayes nets are seeing increasing use in expert systems [2, 6], and structural equations models continue to be popular in many branches of the social sciences [1]. Both types of mod...
Glenn Shafer
ELPUB
2007
ACM
15 years 9 months ago
The Open Document Format and its Impact on Accessibility for Persons with a Reading Impairment
It has become very common in the current information society to talk about "open" and to use this term as a quality mark. Open standards, open source software, open arch...
Jan Engelen, Christophe Strobbe