3827 search results - page 575 / 766 » The Epsilon Generation Language |
120
click to vote
LATA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper contributes to the study of Freely Rewriting Restarting Automata (FRR-automata) and Parallel Communicating Grammar Systems (PCGS) as formalizations of the ling...
152
Voted
SIGGRAPH
2010
ACM
15 years 7 months ago
2010
ACM
We introduce a purely passive facial capture approach that uses only an array of video cameras, but requires no template facial geometry, no special makeup or markers, and no acti...
106
click to vote
IVA
2001
Springer
15 years 7 months ago
2001
Springer
We describe the architecture of an interactive, “believable” agent with personality, called user agent, which can act on behalf of a user in various multi-user game contexts, w...
132
click to vote
LPAR
2001
Springer
15 years 7 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
108
Voted
FOCS
2000
IEEE
15 years 7 months ago
2000
IEEE
A zap is a two-round, public coin witness-indistinguishable protocol in which the first round, consisting of a message from the verifier to the prover, can be fixed “once and...