4008 search results - page 257 / 802 » An expressive language of signatures |
171
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
The Push programming language was developed for use in genetic and evolutionary computation systems, as the representation within which evolving programs are expressed. It has bee...
177
click to vote
ICDT
2005
ACM
16 years 4 days ago
2005
ACM
We give two sufficient conditions on XPath like languages for having first order expressivity, meaning that every first order definable set of paths in an ordered node-labeled t...
157
click to vote
ICALP
2004
Springer
16 years 10 hour ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...
181
click to vote
FASE
2003
Springer
15 years 12 months ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
179
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
—This paper describes a morphing-based audio driven facial animation system. Based on an incoming audio stream, a face image is animated with full lip synchronization and synthes...