5415 search results - page 836 / 1083 » The Implementation of Functional Programming Languages |
162
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
Breeding Abstract Animations in Realtime Tatsuo Unemi SBART was developed in early 1990's as one of the derivatives from Artificial Evolution by Karl Sims. It has a functional...
183
click to vote
IJVR
2008
15 years 6 months ago
2008
One of the key functions to popularize 3D content services on virtual environments is on the extensibility of the underlying system. In our previous work, we had implemented an ext...
161
click to vote
JUCS
2011
15 years 1 months ago
2011
: In this paper we introduce eXVisXML, a visual tool to explore documents annotated with the mark-up language XML, in order to easily perform over them tasks as knowledge extractio...
221
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
179
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
We take a dual view of Markov processes ? advocated by Kozen ? as transformers of bounded measurable functions. We redevelop the theory of labelled Markov processes from this view ...