2416 search results - page 272 / 484 » The Language of Cortical Dynamics |
136
click to vote
WSC
2000
15 years 7 months ago
2000
We summarize progress achieved on an interactive land use VRML application (ILUVA) with servlet assist. The purpose of this application is to enable one to take a virtual land are...
157
click to vote
DLOG
1996
1996
Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents
15 years 7 months ago
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation. The language independent re...
178
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
Semantic preorders between processes are usually applied in practice to model approximation or implementation relationships. For interactive models these preorders depend crucially...
189
click to vote
AML
2010
15 years 6 months ago
2010
Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'. We ext...
158
click to vote
AML
2006
15 years 6 months ago
2006
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...