2314 search results - page 102 / 463 » Monoids over domains |
106
click to vote
OOPSLA
1995
Springer
15 years 5 months ago
1995
Springer
Object-oriented user interface frameworks are usually implemented in a class-based language. We chose instead to develop a prototype-based language, NewtonScript, for this purpose...
ACL
2007
15 years 3 months ago
2007
This paper describes the latest version of speech-to-speech translation systems developed by the team of NICT-ATR for over twenty years. The system is now ready to be deployed for...
116
click to vote
IJCAI
2003
15 years 3 months ago
2003
We present an approximate policy iteration algorithm that uses rollouts to estimate the value of each action under a given policy in a subset of states and a classifier to general...
JANCL
2006
15 years 1 months ago
2006
We present an overview of linear-time temporal logics with Presburger constraints whose models are sequences of tuples of integers. Such formal specification languages are welldesi...
JC
2002
15 years 1 months ago
2002
Exclusion algorithms are a well-known tool in the area of interval analysis for finding all solutions of a system of nonlinear equations or for finding the global minimum of a fun...