Sciweavers

367 search results - page 23 / 74
» A finiteness structure on resource terms
Sort
View
ACL
2004
13 years 8 months ago
Long-Distance Dependency Resolution in Automatically Acquired Wide-Coverage PCFG-Based LFG Approximations
This paper shows how finite approximations of long distance dependency (LDD) resolution can be obtained automatically for wide-coverage, robust, probabilistic Lexical-Functional G...
Aoife Cahill, Michael Burke, Ruth O'Donovan, Josef...
ATAL
2008
Springer
13 years 9 months ago
Not all agents are equal: scaling up distributed POMDPs for agent networks
Many applications of networks of agents, including mobile sensor networks, unmanned air vehicles, autonomous underwater vehicles, involve 100s of agents acting collaboratively und...
Janusz Marecki, Tapana Gupta, Pradeep Varakantham,...
JNS
2008
59views more  JNS 2008»
13 years 7 months ago
The Effect of Surface Tension on the Moore Singularity of Vortex Sheet Dynamics
We investigate the regularization of Moore's singularities by surface tension in the evolution of vortex sheets and its dependence on Weber number (which is inversely proport...
Francisco de la Hoz, M. A. Fontelos, L. Vega
CSMR
2010
IEEE
13 years 2 months ago
Under and Over Approximation of State Models Recovered for Ajax Applications
Abstract--In contrast to conventional multi-page Web applications, an Ajax application is developed as a single-page application in which content and structure are changed at runti...
Alessandro Marchetto, Paolo Tonella, Filippo Ricca
WFLP
2000
Springer
82views Algorithms» more  WFLP 2000»
13 years 11 months ago
Strong and NV-sequentiality of constructor systems
Constructor Systems (CSs) are an important subclass of Term Rewriting Systems (TRSs) which can be used stract model of some programming languages. While normalizing strategies are...
Salvador Lucas