2766 search results - page 119 / 554 » Hybridizing a Logical Framework |
149
Voted
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE
In this paper, we explore a hybrid global/local search optimization framework for dynamic voltage scaling in embedded multiprocessor systems. The problem is to find, for a multipr...
143
Voted
SYNASC
2007
IEEE
15 years 10 months ago
2007
IEEE
A trapdoor based on an extension of the RSA trapdoor is proposed. The same function as in the RSA cryptosystem is used, i.e. x modn, but there is no restriction for the exponent t...
147
Voted
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— We present a computational framework for automatic deployment of robots in 2D and 3D rectangular environments with polytopal obstacles. The results are derived for poly...
129
click to vote
AAAI
2008
15 years 6 months ago
2008
In this paper we investigate nonmonotonic `modes of inference'. Our approach uses modal (conditional) logic to establish a uniform framework in which to study nonmonotonic co...
131
click to vote
DALT
2008
Springer
15 years 5 months ago
2008
Springer
This paper provides a logical framework of negotiating agents who have capabilities of evaluating and building proposals. Given a proposal, an agent decides whether it is acceptabl...