8706 search results - page 523 / 1742 » Learning Subjective Language |
169
Voted
ACL2
2006
ACM
15 years 11 months ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
138
Voted
SAC
2006
ACM
15 years 11 months ago
2006
ACM
Esterel is a concurrent synchronous language for developing reactive systems. As an alternative to the classical software and hardware synthesis paths, the reactive processing app...
134
click to vote
XIMEP
2006
ACM
15 years 11 months ago
2006
ACM
This paper proposes an extension to the XQuery language to solve the problem of positional grouping: that is, problems in which it is necessary to convert a flat sequence into a h...
151
click to vote
ACMACE
2005
ACM
15 years 10 months ago
2005
ACM
In this paper we describe an idea to develop interactive narrative with iTV. We propose a framework to deliver television event, usually dramas or cartoons, having multiple and se...
120
click to vote
IUI
2005
ACM
15 years 10 months ago
2005
ACM
Museum visitors can continue interacting with museum exhibits even after they have left the museum. We can help them do this by creating a report that includes a basic, personaliz...