2042 search results - page 273 / 409 » Variable Number of |
163
click to vote
SP
2000
IEEE
15 years 8 months ago
2000
IEEE
We address the goal of making Delegation Logic (DL) into a practically implementable and tractable trustmanagement system. DL [22] is a logic-based knowledge representation (i.e.,...
129
click to vote
SIGGRAPH
1994
ACM
15 years 8 months ago
1994
ACM
Specifying the motion of an animated linked figure such that it achieves given tasks (e.g., throwing a ball into a basket) and performs the tasks in a realistic fashion (e.g., gra...
125
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
We consider a mixed linear system model, with both continuous and discrete inputs and outputs, described by a coefficient matrix and a set of noise variances. When the discrete inp...
114
click to vote
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
We investigate the parameterized computational complexity of the satisfiability problem for modal logic and attempt to pinpoint relevant structural parameters which cause the probl...
129
click to vote
ATMOS
2007
15 years 6 months ago
2007
In this paper we study a general formulation of the train platforming problem, which contains as special cases all the versions previously considered in the literature as well as a...