Sciweavers

820 search results - page 89 / 164
» Action Languages
Sort
View
112
Voted
IFM
2010
Springer
142views Formal Methods» more  IFM 2010»
15 years 1 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, ...
120
Voted
IUI
2003
ACM
15 years 8 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
149
Voted
DALT
2006
Springer
15 years 6 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»
15 years 4 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
110
Voted
DSL
2009
15 years 15 days 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