3378 search results - page 318 / 676 » A universe of binding and computation |
146
click to vote
LATA
2009
Springer
16 years 1 months ago
2009
Springer
d abstract) Benjamin Carle, Paliath Narendran and Colin Scheriff Dept. of Computer Science University at Albany–SUNY Albany, NY 12222 June 19, 2007 In this paper we extend the ...
156
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
We give a simple intuitionistic completeness proof of Kripke semantics with constant domain for intuitionistic logic with implication and universal quantification. We use a cut-fr...
160
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...
209
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we propose an automatic text classification method based on word sense disambiguation. We use “hood” algorithm to remove the word ambiguity so that each word is ...
178
click to vote
EUC
2004
Springer
16 years 6 days ago
2004
Springer
Determining the physical location of the users of a multi-agent system is essential if we want it to provide them with context-awareness services. A context-aware system can answer...