Sciweavers

4591 search results - page 589 / 919
» The Global Computer
Sort
View
INDOCRYPT
2003
Springer
15 years 10 months ago
Improved Cost Function in the Design of Boolean Functions Satisfying Multiple Criteria
We develop an improved cost function to be used in simulated annealing followed by hill-climbing to find Boolean functions satisfying multiple desirable criteria such as high nonli...
Selçuk Kavut, Melek D. Yücel
130
Voted
HYBRID
2009
Springer
15 years 8 months ago
Trajectory Based Verification Using Local Finite-Time Invariance
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
A. Agung Julius, George J. Pappas
TRIDENTCOM
2010
IEEE
15 years 2 months ago
TopHat: Supporting Experiments through Measurement Infrastructure Federation
Researchers use the PlanetLab testbed for its ability to host experimental applications in realistic conditions over the public besteffort internet. Such applications form overlays...
Thomas Bourgeau, Jordan Augé, Timur Friedma...
EMMCVPR
2011
Springer
14 years 4 months ago
Discrete Optimization of the Multiphase Piecewise Constant Mumford-Shah Functional
Abstract. The Mumford-Shah model has been one of the most powerful models in image segmentation and denoising. The optimization of the multiphase Mumford-Shah energy functional has...
Noha Youssry El-Zehiry, Leo Grady
AGILE
2007
Springer
127views GIS» more  AGILE 2007»
15 years 11 months ago
Space-contained conflict revision, for geographic information
Using qualitative reasoning with geographic information, contrarily, for instance, with robotics, looks not only fastidious (i.e.: encoding knowledge Propositional Logics PL), but ...
Omar Doukari, Robert Jeansoulin