291 search results - page 44 / 59 » A Logic for Parametric Polymorphism |
216
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
108
Voted
LOGCOM
2000
15 years 1 months ago
2000
We introduce the concept of reflection principle as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of l...
161
click to vote
KI
2010
Springer
14 years 8 months ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
213
click to vote
LACL
2011
Springer
14 years 4 months ago
2011
Springer
The problem of generating referring expressions (GRE) is an important task in natural language generation. In this paper, we advocate for the use of logical languages in the output...
139
Voted
JMLR
2008
15 years 1 months ago
2008
The use of computational models is increasingly expected to play an important role in predicting the behaviour of biological systems. Models are being sought at different scales o...