Sciweavers

1519 search results - page 163 / 304
» The Domain Dependence of Parsing
Sort
View
IFIP
2004
Springer
15 years 12 months ago
New-HOPLA: A Higher-order Process Language with Name Generation
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
Glynn Winskel, Francesco Zappa Nardelli
IMR
2004
Springer
15 years 12 months ago
Efficient Spacetime Meshing with Nonlocal Cone Constraints
Spacetime Discontinuous Galerkin (DG) methods are used to solve hyperbolic PDEs describing wavelike physical phenomena. When the PDEs are nonlinear, the speed of propagation of th...
Shripad Thite
AAAI
2010
15 years 8 months ago
PUMA: Planning Under Uncertainty with Macro-Actions
Planning in large, partially observable domains is challenging, especially when a long-horizon lookahead is necessary to obtain a good policy. Traditional POMDP planners that plan...
Ruijie He, Emma Brunskill, Nicholas Roy
IJCAI
2001
15 years 8 months ago
Solving Non-Boolean Satisfiability Problems with Stochastic Local Search
Much excitement has been generated by the success of stochastic local search procedures at finding solutions to large, very hard satisfiability problems. Many of the problems on wh...
Alan M. Frisch, Timothy J. Peugniez
BMCBI
2006
85views more  BMCBI 2006»
15 years 6 months ago
On single and multiple models of protein families for the detection of remote sequence relationships
Background: The detection of relationships between a protein sequence of unknown function and a sequence whose function has been characterised enables the transfer of functional a...
James A. Casbon, Mansoor A. S. Saqi