Sciweavers

1449 search results - page 140 / 290
» Finiteness results for sigmoidal
Sort
View
AIPS
2006
15 years 7 months ago
Planning with Temporally Extended Goals Using Heuristic Search
Temporally extended goals (TEGs) refer to properties that must hold over intermediate and/or final states of a plan. Current planners for TEGs prune the search space during planni...
Jorge A. Baier, Sheila A. McIlraith
CORR
2006
Springer
90views Education» more  CORR 2006»
15 years 6 months ago
The recognizability of sets of graphs is a robust property
Once the set of finite graphs is equipped with an algebra structure (arising from the definition of operations that generalize the concatenation of words), one can define the noti...
Bruno Courcelle, Pascal Weil
DKE
2006
139views more  DKE 2006»
15 years 6 months ago
Information extraction from structured documents using k-testable tree automaton inference
Information extraction (IE) addresses the problem of extracting specific information from a collection of documents. Much of the previous work on IE from structured documents, suc...
Raymond Kosala, Hendrik Blockeel, Maurice Bruynoog...
FUIN
2006
67views more  FUIN 2006»
15 years 6 months ago
On minimal models of the Region Connection Calculus
Abstract. Region Connection Calculus (RCC) is one primary formalism of qualitative spatial reasoning. Standard RCC models are continuous ones where each region is infinitely divisi...
Lirong Xia, Sanjiang Li
JCC
2008
111views more  JCC 2008»
15 years 6 months ago
Highly accurate biomolecular electrostatics in continuum dielectric environments
: Implicit solvent models based on the Poisson-Boltzmann (PB) equation are frequently used to describe the interactions of a biomolecule with its dielectric continuum environment. ...
Y. C. Zhou, Michael Feig, G. W. Wei