Sciweavers

348 search results - page 44 / 70
» Archiving and accessing language resources
Sort
View
DEBU
2002
120views more  DEBU 2002»
15 years 6 months ago
DAML+OIL: a Description Logic for the Semantic Web
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precis...
Ian Horrocks
EMNLP
2009
15 years 3 months ago
Discriminative Substring Decoding for Transliteration
We present a discriminative substring decoder for transliteration. This decoder extends recent approaches for discriminative character transduction by allowing for a list of known...
Colin Cherry, Hisami Suzuki
ESOP
2003
Springer
15 years 11 months ago
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
Karine Altisen, Aurélie Clodic, Florence Ma...
POPL
2000
ACM
15 years 10 months ago
A Type System for Expressive Security Policies
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
David Walker
MA
1997
Springer
127views Communications» more  MA 1997»
15 years 10 months ago
The Architecture of the Ara Platform for Mobile Agents
: We describe a platform for the portable and secure execution of mobile agents written in various interpreted languages on top of a common run-time core. Agents may migrate at any...
Holger Peine, Torsten Stolpmann