Sciweavers

5372 search results - page 232 / 1075
» complexity 2007
Sort
View
LRE
2007
76views more  LRE 2007»
13 years 8 months ago
Urdu in a parallel grammar development environment
In this paper, we report on the role of the Urdu grammar in the Parallel Grammar (ParGram) project (Butt et al., 1999; Butt et al., 2002). The Urdu grammar was able to take advanta...
Miriam Butt, Tracy Holloway King
MAGS
2007
117views more  MAGS 2007»
13 years 8 months ago
Organization detection for dynamic load balancing in individual-based simulations
Large-scale individual-based simulations can benefit a lot from high performance computing environments. The benefit that can be hopped depends greatly on a good load distributi...
Cyrille Bertelle, Antoine Dutot, Fréd&eacut...
ASE
2004
117views more  ASE 2004»
13 years 8 months ago
Model Checking for Combined Logics with an Application to Mobile Systems
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
Massimo Franceschet, Angelo Montanari, Maarten de ...
BC
2004
65views more  BC 2004»
13 years 8 months ago
SINBAD: A neocortical mechanism for discovering environmental variables and regularities hidden in sensory input
We propose that a top priority of the cerebral cortex must be the discovery and explicit representation of the environmental variables that contribute as major factors to environme...
Oleg V. Favorov, Dan Ryder
ACTA
2000
302views more  ACTA 2000»
13 years 8 months ago
Efficiently building a parse tree from a regular expression
We show in this paper that parsing with regular expressions instead of context-free grammars, when it is possible, is desirable. We present efficient algorithms for performing diff...
Danny Dubé, Marc Feeley