3844 search results - page 412 / 769 » Modular interpreted systems |
192
click to vote
FUIN
2010
15 years 4 months ago
2010
Abstract. We present the type rules for a dependently typed core calculus together with a straightforward implementation in Haskell. We explicitly highlight the changes necessary t...
181
Voted
IVA
2010
Springer
15 years 4 months ago
2010
Springer
One of the most desirable characteristics of an Embodied Conversational Agent (ECA) is the capability of interacting with users in a human-like manner. While listening to a user, a...
197
click to vote
AMSTERDAM
2009
15 years 4 months ago
2009
The paper presents a statistical evaluation of the typological data about color naming systems across the languages of the world that have been obtained by the World Color Survey....
173
click to vote
CORR
2011
Springer
15 years 21 days ago
2011
Springer
—We present a new model for distributed shared memory systems, based on remote data accesses. Such features are offered by network interface cards that allow one-sided operations...
159
click to vote
OSDI
2008
ACM
16 years 6 months ago
2008
ACM
Because writing computer programs is hard, computer programmers are taught to use encapsulation and modularity to hide complexity and reduce the potential for errors. Their progra...