Noun Sense Tagging: Semantic Prototype  Annotation of a Portuguese Treebank Eckhard Bick Institute of Language and Communication, University of Southern Denmark , Rugbjergvej 98, 

Source URL: visl.sdu.dk

• Linguistics
• Grammar
• Language
• Computational linguistics
• Semantics
• Corpus linguistics
• Compiler construction
• Treebank
• Constraint Grammar
• Part-of-speech tagging
• Parsing
• Plural

AAAI Proceedings Template

Source URL: qr15.sift.net

• Knowledge representation
• Reasoning
• Constraint programming
• Cognition
• Computational topology
• Region connection calculus
• Mathematics
• Cognitive science
• Logic

Dynamic validation of OCL constraints with mOdCL Manuel Rold´an Francisco Dur´an

Source URL: gres.uoc.edu

• Unified Modeling Language
• Object Constraint Language

Cell Constraint & Cancer : une innovation de rupture 23 décembre, 2014 Par Thérèse Bouveret Cell Constraint & Cancer a mené les premiers essais in vivo à partir des principes de la “Physical Oncology”, une disci

Source URL: www.cellconstraintcancer.com

Journal of Machine Learning Research–72 Submitted 10/01; Published 7/02 On the Convergence of Optimistic Policy Iteration John N. Tsitsiklis

Source URL: www.ai.mit.edu

• Computational science
• Numerical analysis
• Applied mathematics
• Computational chemistry
• Constraint algorithm
• Dynamic programming
• Reinforcement learning

Revisiting ADOPT-ing and its Feedback Schemes Marius C. Silaghi Florida Institute of Technology Makoto Yokoo Kyushu University

Source URL: agent.inf.kyushu-u.ac.jp

• Constraint programming
• Distributed constraint optimization
• Weighted constraint satisfaction problem
• Constraint satisfaction problem

Terrain English version – SOSI standard 4.0

Source URL: kartverket.no

• Software engineering
• Mathematical optimization
• Constraint
• Contour line
• Class
• Computer programming
• Computing

Combining CSP and B for Specification and Property Verification⋆ Michael Butler1 and Michael Leuschel1,2 1 2

Source URL: rodin.cs.ncl.ac.uk

• Software engineering
• Theoretical computer science
• Computing
• Concurrent computing
• Constraint programming
• Models of computation
• Model checkers
• Process calculus
• Michael Butler
• Model checking
• FDR
• Denotational semantics

Interactive Design Exploration for Constrained Meshes Bailin Deng∗, Sofien Bouaziz, Mario Deuss, Alexandre Kaspar, Yuliy Schwartzburg, Mark Pauly Computer Graphics and Geometry Laboratory, EPFL, CH-1015 Lausanne, Switz

Source URL: www.bdeng.me

• Mathematical optimization
• Mathematical analysis
• Analysis
• Mathematics
• Shape optimization
• Constraint
• Constrained optimization
• Feasible region
• Optimization problem
• Lagrange multiplier
• Penalty method

A Constraint-based Partial Evaluator for Functional Logic Programs and its Application Laura Lafave A thesis submitted to the University of Bristol in accordance with the

Source URL: repository.readscheme.org

• Software engineering
• Programming paradigms
• Computing
• Theoretical computer science
• Evaluation strategy
• Incremental computing
• Partial evaluation
• Logic programming
• Functional programming
• Algorithm
• Programming language
• Evaluation