Sciweavers

1138 search results - page 25 / 228
» Talking about concerns
Sort
View
ECAL
2001
Springer
15 years 4 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 4 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 4 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 3 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 3 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