Sciweavers

3906 search results - page 254 / 782
» From grids to places
Sort
View
239
Voted
EMSOFT
2011
Springer
14 years 7 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
218
Voted
CRYPTO
2012
Springer
277views Cryptology» more  CRYPTO 2012»
13 years 10 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...
198
Voted
IROS
2007
IEEE
165views Robotics» more  IROS 2007»
16 years 1 months 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 29 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...