2308 search results - page 354 / 462 » Representing Symbolic Reasoning |
189
click to vote
LICS
2008
IEEE
16 years 22 days ago
2008
IEEE
In this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...
154
click to vote
COMPSAC
2007
IEEE
16 years 21 days ago
2007
IEEE
Dynamic evolution has been an essential requirement for more and more business systems which attempt to provide 7(days) x 24(hours) availability and flexible adaptability on the c...
149
click to vote
CRV
2007
IEEE
16 years 21 days ago
2007
IEEE
To perform as desired in a dynamic environment a vision system must adapt to a variety of operating conditions by selecting vision modules, tuning their parameters, and controllin...
169
click to vote
ICDE
2007
IEEE
16 years 20 days ago
2007
IEEE
As enterprises seek to engage in increasingly rich and agile forms of collaboration, they are turning towards service-oriented architectures that enable them to selectively expose...
160
click to vote
IJCNN
2007
IEEE
16 years 20 days ago
2007
IEEE
Abstract— Cognitive control - the ability to produce appropriate behavior in complex situations - is a fundamental aspect of intelligence. It is increasingly evident that this co...