13 search results - page 1 / 3 » Do CFG-Based Language Models Need Agreement Constraints |
NAACL
2001
13 years 6 months ago
2001
PERCOM
2009
ACM
13 years 11 months ago
2009
ACM
—Ensuring spontaneous ad hoc interoperation in decentralized ubiquitous computing environments is challenging, because of heterogeneous resources and divergent policies. Centrali...
ATAL
2010
Springer
13 years 5 months ago
2010
Springer
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...
CP
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. The automatic modelling tool Conjure generates CSP models from problem specifications. The generated models may contain multiple alternative (redundant) representations ...
GI
2009
Springer
13 years 9 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...