Sciweavers

1998 search results - page 212 / 400
» Complexity of the Cover Polynomial
Sort
View
NMR
2004
Springer
15 years 12 months ago
On acyclic and head-cycle free nested logic programs
We define the class of head-cycle free nested logic programs, and its proper subclass of acyclic nested programs, generalising similar classes originally defined for disjunctive...
Thomas Linke, Hans Tompits, Stefan Woltran
SIGECOM
2003
ACM
134views ECommerce» more  SIGECOM 2003»
15 years 12 months ago
Correlated equilibria in graphical games
We examine correlated equilibria in the recently introduced formalism of graphical games, a succinct representation for multiplayer games. We establish a natural and powerful rela...
Sham Kakade, Michael J. Kearns, John Langford, Lui...
ASP
2003
Springer
15 years 11 months ago
Outlier Detection Using Default Logic
Default logic is used to describe regular behavior and normal properties. We suggest to exploit the framework of default logic for detecting outliers - individuals who behave in a...
Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luig...
RTSS
2002
IEEE
15 years 11 months ago
Approximate Schedulability Analysis
The schedulability analysis problem for many realistic task models is intractable. Therefore known algorithms either have exponential complexity or at best can be solved in pseudo...
Samarjit Chakraborty, Simon Künzli, Lothar Th...
ACCV
2009
Springer
15 years 11 months ago
Multilevel Algebraic Invariants Extraction by Incremental Fitting Scheme
Algebraic invariants extracted from coefficients of implicit polynomials (IPs) have been attractive because of its convenience for solving the recognition problem in computer visio...
Bo Zheng, Jun Takamatsu, Katsushi Ikeuchi