Semantic Packaging and the Manner/Means Constraint on Algonquian Verbal Stem Structure Conor McDonough Quinn ELDP/MIT* SSILA 2009, 8-11 Jan. 2009, San Francisco, CA

Source URL: www.conormquinn.com

Estimation of group action with energy constraint Masahito Hayashi1,2 Graduate School of Mathematics, Nagoya University, Japan, Centre for Quantum Technologies, National University of Singapore, Singapore 1

Source URL: www.quantum-lab.org

EUCLIDE : automatic test data generation for critical C programs Constraint Programming Exploit relations (constraints) to infer new

Source URL: people.rennes.inria.fr

Extracting Frame Conditions from Operation Contracts

Source URL: www.db.informatik.uni-bremen.de

• Theoretical computer science
• Formal methods
• Software engineering
• Logic in computer science
• Postcondition
• Object Constraint Language
• Causality
• Statistics
• Statistical hypothesis testing
• Invariant

SketchFlat, A Constraint-Based Drawing Tool Jonathan Westhues jwesthues at cq.cx June 26, 2007

Source URL: cq.cx

Distributed Problem Solving in Geometrically-Structured Constraint Networks Roger Mailler and Huimin Zheng University of Tulsa Tandy School of Computer Science Tulsa, Oklahoma

Source URL: www.cs.nmsu.edu

by The Campus League of Puzzlers Solution to PASSING AND ONE AWAY: The puzzle consists of 12 crossword style clues, followed by a number which clues the length of the answer. Despite this constraint you may still find se

Source URL: puzzle.berkeley.edu

Asynchronous Execution and Communication Latency in Distributed Constraint Optimization Stephen Fitzpatrick & Lambert Meertens Kestrel Institute 3260 Hillview Avenue, Palo Alto, California, U.S.A.

Source URL: www.kestrel.edu

Estimation of Cumulative Odds Ratios STEPHEN R. COLE, PHD, PAUL D. ALLISON, PHD, AND CANDE V. ANANTH, PHD, MPH PURPOSE: Standard estimation of ordered odds ratios requires the constraint that the etiologic effects of exp

Source URL: statisticalhorizons.com

Branching-Time Model Checking Gap-Order Constraint Systems Richard Mayr Patrick Totzke

Source URL: www.dcs.warwick.ac.uk