Sciweavers

7106 search results - page 969 / 1422
» Restricted Complexity, General Complexity
Sort
View
GECCO
2007
Springer
189views Optimization» more  GECCO 2007»
16 years 1 months ago
A more bio-plausible approach to the evolutionary inference of finite state machines
With resemblance of finite-state machines to some biological mechanisms in cells and numerous applications of finite automata in different fields, this paper uses analogies an...
Hooman Shayani, Peter J. Bentley
GRID
2007
Springer
16 years 1 months ago
Fine-grained access control for GridFTP using SecPAL
– Grid access control policy languages today are generally one of two extremes: either extremely simplistic, or overly complex and challenging for even security experts to use. I...
Marty Humphrey, Sang-Min Park, Jun Feng, Norm Beek...
HUMO
2007
Springer
16 years 1 months ago
Modeling Human Locomotion with Topologically Constrained Latent Variable Models
Abstract. Learned, activity-specific motion models are useful for human pose and motion estimation. Nevertheless, while the use of activityspecific models simplifies monocular t...
Raquel Urtasun, David J. Fleet, Neil D. Lawrence
ICDT
2007
ACM
107views Database» more  ICDT 2007»
16 years 1 months ago
Some Algorithmic Improvements for the Containment Problem of Conjunctive Queries with Negation
Query containment is a fundamental problem of databases. Given two queries q1 and q2, it asks whether the set of answers to q1 is included in the set of answers to q2 for any datab...
Michel Leclère, Marie-Laure Mugnier
ICDT
2007
ACM
141views Database» more  ICDT 2007»
16 years 1 months ago
Exact XML Type Checking in Polynomial Time
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
Sebastian Maneth, Thomas Perst, Helmut Seidl