Sciweavers

1224 search results - page 91 / 245
» Theory decision by decomposition
Sort
View
123
Voted
ISIPTA
2005
IEEE
168views Mathematics» more  ISIPTA 2005»
15 years 6 months ago
Bayesianism Without Priors, Acts Without Consequences
: A generalization of subjective expected utility is presented in which the primitives are a finite set of states of the world, a finite set of strategies available to the decision...
Robert Nau
CLA
2006
15 years 2 months ago
Type Signature Induction with FCAType
Type signatures are common in modern linguistic theories. Their construction and maintenance is intricate, and therefore, an automatic induction method is desirable. In the present...
Wiebke Petersen
75
Voted
TWC
2008
131views more  TWC 2008»
15 years 17 days ago
Asymptotic Ergodic Capacity of Multidimensional Vector-Sensor Array MIMO Channels
Abstract--We analyze asymptotic ergodic capacity of multidimensional vector-sensor array MIMO (PMD-MIMO) channels established by the use of dual-polarized antennas in the form of 1...
Özgür Ertug
112
Voted
JDA
2010
122views more  JDA 2010»
14 years 7 months ago
Subexponential parameterized algorithms for degree-constrained subgraph problems on planar graphs
We present subexponential parameterized algorithms on planar graphs for a family of problems of the following shape: given a graph, find a connected (induced) subgraph with bounde...
Ignasi Sau, Dimitrios M. Thilikos
96
Voted
STACS
2009
Springer
15 years 7 months ago
Enumerating Homomorphisms
The homomorphism problem for relational structures is an abstract way of formulating constraint satisfaction problems (CSP) and various problems in database theory. The decision ve...
Andrei A. Bulatov, Víctor Dalmau, Martin Gr...