1768 search results - page 256 / 354 » A Logic for Algebraic Effects |
167
click to vote
IROS
2006
IEEE
16 years 6 days ago
2006
IEEE
— This paper addresses the multiple tasks performing issues for redundant nonholonomic mobile manipulators. An extended gradient projection redundancy resolution scheme is propos...
162
click to vote
CIG
2005
IEEE
15 years 11 months ago
2005
IEEE
The aim of developing an agent that is able to adapt its actions in response to their effectiveness within the game provides the basis for the research presented in this paper. It ...
166
click to vote
LCN
2005
IEEE
15 years 11 months ago
2005
IEEE
An ’Internet Protocol’ (IP) network established over Bluetooth affords higher practical throughput compared to the ‘Synchronous Connection Oriented’ (SCO) physical link al...
184
click to vote
ASP
2005
Springer
15 years 11 months ago
2005
Springer
Despite all efforts on intelligent grounding, state-of-the-art answer set solvers still have huge memory requirements, because they compute the ground instantiation of the input pr...
200
click to vote
ASP
2005
Springer
15 years 11 months ago
2005
Springer
Answer Set Programming (ASP) and propositional satisfiability (SAT) are closely related. In some recent work we have shown that, on a wide set of logic programs called “tight”...