790 search results - page 139 / 158 » Subexponential Parameterized Algorithms |
125
click to vote
AAAI
2006
15 years 1 months ago
2006
Temporally extended goals (TEGs) refer to properties that must hold over intermediate and/or final states of a plan. The problem of planning with TEGs is of renewed interest becau...
DAGSTUHL
2006
15 years 1 months ago
2006
In this paper we study a class of dynamical systems defined by Pfaffian maps. It is a sub-class of o-minimal dynamical systems which capture rich continuous dynamics and yet can be...
FORTE
2004
15 years 1 months ago
2004
Abstract. We propose a framework for intrusion detection that is based on runtime monitoring of temporal logic specifications. We specify intrusion patterns as formulas in an expre...
98
Voted
VMV
2001
15 years 1 months ago
2001
We show a simple and efficient way for rendering arbitrary views from so-called free-form light fields, employing a convex free form camera surface and a set of arbitrarily orient...
UAI
2004
15 years 1 months ago
2004
We propose dynamical systems trees (DSTs) as a flexible model for describing multiple processes that interact via a hierarchy of aggregating processes. DSTs extend nonlinear dynam...