4205 search results - page 95 / 841 » Typed Mobile Objects |
135
click to vote
ECOOP
1993
Springer
15 years 7 months ago
1993
Springer
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...
144
Voted
ENTCS
2007
15 years 3 months ago
2007
This paper is concerned with a proof-theoretic observation about two kinds of proof systems for regular cyclic objects. It is presented for the case of two formal systems that are...
130
click to vote
CIMCA
2005
IEEE
15 years 9 months ago
2005
IEEE
Several methodologies based on Multi-agent Systems (MAS) already exist. They help designers to describe software or to create MAS which aim at solving complex problems by simulati...
113
click to vote
ECCV
2004
Springer
15 years 9 months ago
2004
Springer
An automatic tool is developed to identify microbiological data types using computer-vision and statistical modeling techniques. In bacteriophage (phage) typing, representative pro...
135
click to vote
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...