11324 search results - page 271 / 2265 » Coordination Models and Languages |
112
Voted
CLEIEJ
2010
14 years 10 months ago
2010
This paper addresses the evaluation of a fault-tolerant model for tactic operations of mobile robotic groups. The coordinated action of the group is planned with Genetic Algorithm...
128
Voted
ISORC
1999
IEEE
15 years 5 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
87
Voted
UAIS
2008
15 years 21 days ago
2008
For deaf persons to have ready access to information and communication technologies (ICTs), the latter must be usable in sign language (SL), i.e. include interlanguage interfaces....
95
Voted
NAACL
1994
15 years 2 months ago
1994
Thispaperintroduces a simple mixtare languagemodelthat attempts to capture long distance conslraints in a sentence orparagraph. The model is an m-component mixture of Irigram mode...
82
Voted
HICSS
2009
IEEE
15 years 7 months ago
2009
IEEE
Group Support Systems (GSS) can improve the productivity of Group Work by offering a variety of tools to assist a virtual group across geographical distances. Experience shows tha...