Sciweavers

2527 search results - page 307 / 506
» Aging in language dynamics
Sort
View
APVIS
2004
15 years 8 months ago
Displaying Linear Programs and Their Solutions With XML and SVG
We describe a modelling language, called XML:LP, for presenting linear and integer programs in XML, with related tools for displaying models and their solutions in web browsers. O...
Hans Chang, John F. Raffensperger, Neville Churche...
PUK
2001
15 years 8 months ago
Plan Representation and Plan Execution in Multi-agent Systems for Robot Control
Hardware agents as a part of cooperative multi-agent systems act in dynamically changing environments and accomplish tasks jointly. Since the pure hybrid plan representation provid...
Alexander Osherenko
ACL
1996
15 years 8 months ago
Head Automata and Bilingual Tiling: Translation with Minimal Representations
We present a language model consisting of a collection of costed bidirectional finite state automata associated with the head words of phrases. The model is suitable for increment...
Hiyan Alshawi
ENTCS
2008
99views more  ENTCS 2008»
15 years 6 months ago
Specifying Properties of Concurrent Computations in CLF
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concu...
Kevin Watkins, Iliano Cervesato, Frank Pfenning, D...
JUCS
2008
114views more  JUCS 2008»
15 years 6 months ago
CTML: Domain and Task Modeling for Collaborative Environments
: A precise model of the behavioral dynamics is a necessary precondition for the development of collaborative environments. In this paper we present a specification framework for c...
Maik Wurdel, Daniel Sinnig, Peter Forbrig