Sciweavers

5096 search results - page 170 / 1020
» Associations as a Language Construct
Sort
View
IMPERIAL
1994
15 years 10 months ago
Geometric logic as a Specification Language
The \observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like speci cation language in which schema...
Steven Vickers
ACL
1998
15 years 8 months ago
Babel: A Testbed for Research in Origins of Language
We believe that language is a complex adaptive system that emerges from adaptive interactions between language users and continues to evolve and adapt through repeated interaction...
Angus McIntyre
AUTOMATICA
2008
78views more  AUTOMATICA 2008»
15 years 6 months ago
Multi-modal control using adaptive motion description languages
In this paper, we address the problem of adaptively enriching motion description languages for multi-modal control by systematically enlarging the set of available modes. This pro...
Tejas R. Mehta, Magnus Egerstedt
WWW
2004
ACM
16 years 7 months ago
Managing versions of web documents in a transaction-time web server
This paper presents a transaction-time HTTP server, called ? Apache that supports document versioning. A document often consists of a main file formatted in HTML or XML and severa...
Curtis E. Dyreson, Hui-ling Lin, Yingxia Wang
IEICET
2006
108views more  IEICET 2006»
15 years 6 months ago
Plaintext Simulatability
We propose a new security class, called plaintext-simulatability, defined over the public-key encryption schemes. The notion of plaintext simulatability (denoted PS) is similar to ...
Eiichiro Fujisaki