150 search results - page 21 / 30 » Understanding Promise Theory Using Rewriting Logic |
PPDP
2010
Springer
14 years 7 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
SOUPS
2009
ACM
15 years 3 months ago
2009
ACM
Social navigation is a promising approach for supporting privacy and security management. By aggregating and presenting the choices made by others, social navigation systems can p...
AIED
2007
Springer
15 years 3 months ago
2007
Springer
Building effective learning environments is an art that can only be perfected by a great deal of explorations involving the environments’ audience: the learners. This paper focus...
116
click to vote
IFIP
2004
Springer
15 years 2 months ago
2004
Springer
: Speech recognition is always looked upon as a fascinating field in human computer interaction. It is one of the fundamental steps towards understanding human cognition and their ...
176
click to vote
POPL
2004
ACM
15 years 9 months ago
2004
ACM
For decades we have been using Chomsky's generative system of grammars, particularly context-free grammars (CFGs) and regular expressions (REs), to express the syntax of prog...