4008 search results - page 185 / 802 » An expressive language of signatures |
172
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
188
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...
248
click to vote
FMSP
2000
ACM
15 years 10 months ago
2000
ACM
XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the appli...
202
click to vote
UAIS
2008
15 years 6 months ago
2008
Abstract Research in the field of sign language recognition has made significant advances in recent years. The present achievements provide the basis for future applications with t...
158
click to vote
KES
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Producing plays, films or animations is a complex and expensive process involving various professionals and media. Our proposed software system, SceneMaker, aims to faci...