Sciweavers

820 search results - page 89 / 164
» Action Languages
Sort
View
IFM
2010
Springer
142views Formal Methods» more  IFM 2010»
13 years 6 months ago
An Event-B Approach to Data Sharing Agreements
A Data Sharing Agreement (DSA) is a contract among two or more principals regulating how they share data. Agreements are usually represented as a set of clauses expressed using the...
Alvaro E. Arenas, Benjamin Aziz, Juan Bicarregui, ...
IUI
2003
ACM
14 years 1 months ago
Abbreviated text input
We address the problem of improving the efficiency of natural language text input under degraded conditions (for instance, on PDAs or cell phones or by disabled users) by taking a...
Stuart M. Shieber, Ellie Baker
DALT
2006
Springer
13 years 11 months ago
Programming Declarative Goals Using Plan Patterns
AgentSpeak is a well-known language for programming intelligent agents which captures the key features of reactive planning systems in a simple framework with an elegant formal sem...
Jomi Fred Hübner, Rafael H. Bordini, Michael ...
LREC
2010
161views Education» more  LREC 2010»
13 years 9 months ago
For Standardised Amazigh Linguistic Resources
Amazigh language and culture may well be viewed to have known an unprecedented booming in Morocco : more than a hundredwhich are published by the Royal Institute of Amazigh Cultur...
Youssef Aït Ouguengay, Aïcha Bouhjar
DSL
2009
13 years 5 months ago
LEESA: Embedding Strategic and XPath-Like Object Structure Traversals in C++
Traversals of heterogeneous object structures are the most common operations in schema-first applications where the three key issues are (1) separation of traversal specifications ...
Sumant Tambe, Aniruddha S. Gokhale