3238 search results - page 141 / 648 » Multi-return function call |
145
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. We investigate cut-elimination and cut-simulation in impredicative (higher-order) logics. We illustrate that adding simple axioms such as Leibniz equations to a calculus ...
134
click to vote
ICDIM
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a simple, hybrid two phase global optimization algorithm called DE-PSO for solving global optimization problems. DE-PSO consists of alternating phases of Diffe...
116
click to vote
CSFW
2007
IEEE
15 years 11 months ago
2007
IEEE
Key conjuring is the process by which an attacker obtains an unknown, encrypted key by repeatedly calling a cryptographic API function with random values in place of keys. We prop...
120
Voted
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
- This paper deals with the concept of a control architecture for robot cells that enables Plug’n’Produce according to Plug’n’Play in the office world. To achieve this, a s...
142
click to vote
IEEEARES
2007
IEEE
15 years 11 months ago
2007
IEEE
In [7] we have proposed a model for the robust and private evaluation of a function within a group of cooperating mobile agents, called an agent Alliance. The model has been given...