Sciweavers

1744 search results - page 57 / 349
» What's There to Talk About
Sort
View
CL
2000
Springer
14 years 2 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
14 years 2 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
14 years 2 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
14 years 2 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
DEON
2008
Springer
13 years 12 months ago
A Deontic Logic for Socially Optimal Norms
The paper a discusses the interaction properties between preference and choice of coalitions in a strategic interaction. A language is presented to talk about the conflict between...
Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, ...