Sciweavers

3323 search results - page 320 / 665
» Computational Semantics with Functional Programming
Sort
View
DIDACTICA
2000
70views more  DIDACTICA 2000»
15 years 6 months ago
Visualisierung und Animation der semantischen Analyse von Programmen
In computer science methods to aid learning are very important, because abstract models are used frequently. For this conventional teaching methods do not suffice. We have develope...
Andreas Kerren
FOAL
2007
ACM
15 years 10 months ago
On the relation of aspects and monads
The relation between aspects and monads is a recurring topic in discussions in the programming language community, although it has never been elaborated whether their resemblences...
Christian Hofer, Klaus Ostermann
ACG
2009
Springer
15 years 10 months ago
Conflict Resolution of Chinese Chess Endgame Knowledge Base
Endgame heuristics are often incorperated as part of the evaluation function used in Chinese chess programs. In our program, Contemplation, we have proposed an automatic strategy t...
Bo-Nian Chen, Pangfeng Liu, Shun-chin Hsu, Tsan-sh...
SIAMJO
2000
108views more  SIAMJO 2000»
15 years 6 months ago
Smooth SQP Methods for Mathematical Programs with Nonlinear Complementarity Constraints
Mathematical programs with nonlinear complementarity constraints are reformulated using better-posed but nonsmooth constraints. We introduce a class of functions, parameterized by...
Houyuan Jiang, Daniel Ralph
POPL
2009
ACM
16 years 7 months ago
Wild control operators
Linguists seek to understand the semantics of expressions in human languages. Taking a computational point of view, there are many natural language expressions--operators in the w...
Chris Barker