Sciweavers

9507 search results - page 440 / 1902
» Time-based language models
Sort
View
CALCO
2011
Springer
225views Mathematics» more  CALCO 2011»
14 years 6 months ago
Linearly-Used State in Models of Call-by-Value
Abstract. We investigate the phenomenon that every monad is a linear state monad. We do this by studying a fully-complete state-passing translation from an impure call-by-value lan...
Rasmus Ejlers Møgelberg, Sam Staton
OOPSLA
2007
Springer
16 years 1 months ago
Lost in translation: formalizing proposed extensions to c#
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...
Gavin M. Bierman, Erik Meijer, Mads Torgersen
AMAI
2004
Springer
16 years 7 days ago
Multi-Agent Dialogue Protocols
In this paper we propose a new agent communication language which separates agent dialogue from any specific agent reasoning technology. This language is intended to address a nu...
Christopher D. Walton
BIRTHDAY
2004
Springer
16 years 7 days ago
Splicing to the Limit
We consider the result of a wet splicing procedure after the reaction has run to its completion, or limit, and we try to describe the molecules that will be present at this final ...
Elizabeth Goode, Dennis Pixton
SAC
2002
ACM
15 years 6 months ago
Simulating evolutionary agent communities with OOCSMP
This paper describes some extensions added to the continuous simulation language OOCSMP to perform agent-oriented simulation. The extensions are tested by simulating the evolution...
Manuel Alfonseca, Juan de Lara