9186 search results - page 331 / 1838 » A Module System for Scheme |
162
click to vote
ACL
2006
15 years 8 months ago
2006
This paper presents Archivus, a multimodal language-enabled meeting browsing and retrieval system. The prototype is in an early stage of development, and we are currently explorin...
184
click to vote
CATA
2004
15 years 8 months ago
2004
This paper describes the design and implementation of functionally distributed control architecture for real-time control of robot systems. Robot systems must control several func...
147
click to vote
JELIA
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Although ASP systems have been extended in many directions, they still miss features which may be helpful towards industrial applications, like capabilities of quickly in...
166
click to vote
JELIA
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We present the design of our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most featu...
158
click to vote
ERLANG
2003
ACM
15 years 12 months ago
2003
ACM
This paper presents a soft-typing system for the programming language Erlang. The system is based on two concepts; a (forward) data flow analysis that determines upper approximat...