1798 search results - page 13 / 360 » Generating presentation constraints from rhetorical structur... |
SPIN
2009
Springer
14 years 2 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
SAC
2004
ACM
14 years 1 months ago
2004
ACM
Engineering adaptive Web applications implies the development of content that can be automatically adjusted to varying client devices and user preferences. To meet this requiremen...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
Modern presentation software is still built around interaction metaphors adapted from traditional slide projectors. We provide an analysis of the problems in this application genr...
IJCAI
1989
13 years 9 months ago
1989
This paper presents and compares results for three types of connectionist networks on perceptual learning tasks: [A] Multi-layered converging networks of neuron-like units, with e...
FLOPS
1999
Springer
14 years 3 hour ago
1999
Springer
We present a simple generic framework to solve constraints on any domain (finite or infinite) which has a lattice structure. The approach is based on the use of a single constrai...