7106 search results - page 172 / 1422 » Restricted Complexity, General Complexity |
112
Voted
CIE
2008
Springer
15 years 3 months ago
2008
Springer
We study the complexity of the model checking problem, for fixed models A, over certain fragments L of first-order logic, obtained by restricting which of the quantifiers and boole...
113
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Let S = s1, s2, s3, ..., sn be a given vector of n distinct real numbers. The rank of z R with respect to S is defined as the number of elements si S such that si z. We consider...
136
Voted
AI
1998
Springer
15 years 3 months ago
1998
Springer
This paper addresses the logical foundations of goal-regression planning in autonomous rational agents. It focuses mainly on three problems. The first is that goals and subgoals w...
125
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper considers the decomposition of a complex matrix as the product of several sets of semi-unitary matrices and upper triangular matrices in iterative manner. The inner mos...
101
Voted
ACII
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes a vision-based computational model of mind-reading that infers complex mental states from head and facial expressions in real-time. The generalization ability ...