Sciweavers

3906 search results - page 254 / 782
» From grids to places
Sort
View
EMSOFT
2011
Springer
14 years 6 months ago
From boolean to quantitative synthesis
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
Pavol Cerný, Thomas A. Henzinger
CRYPTO
2012
Springer
277views Cryptology» more  CRYPTO 2012»
13 years 9 months ago
Multiparty Computation from Somewhat Homomorphic Encryption
We propose a general multiparty computation protocol secure against an active adversary corrupting up to n−1 of the n players. The protocol may be used to compute securely arithm...
Ivan Damgård, Valerio Pastro, Nigel P. Smart...
IROS
2007
IEEE
165views Robotics» more  IROS 2007»
16 years 27 days ago
A bayesian conceptualization of space for mobile robots
Abstract— The future of robots, as our companions is dependent on their ability to understand, interpret and represent the environment in a human compatible manner. Towards this ...
Shrihari Vasudevan, Roland Siegwart
GECCO
2005
Springer
122views Optimization» more  GECCO 2005»
16 years 3 days ago
Map-labelling with a multi-objective evolutionary algorithm
We present a multi-objective evolutionary algorithm approach to the map-labelling problem. Map-labelling involves placing labels for sites onto a map such that the result is easy ...
Lucas Bradstreet, Luigi Barone, R. Lyndon While
WSC
2004
15 years 8 months ago
Coordination in a Supply Chain for Bulk Chemicals
A chemical plant in The Netherlands uses large annual supplies of a bulk chemical. A number of suppliers deliver their parcels from overseas by short sea vessel to a transshipment...
Henk de Swaan Arons, Eelco van Asperen, Rommert De...