Sciweavers

931 search results - page 156 / 187
» Controlled Experimentation with Agents - Models and Implemen...
Sort
View
CCS
2008
ACM
15 years 1 months ago
CMV: automatic verification of complete mediation for java virtual machines
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...
A. Prasad Sistla, V. N. Venkatakrishnan, Michelle ...
CSREAESA
2008
15 years 1 months ago
Real-time Embedded Architecture for Advanced Service Robots
In most advanced real-time control applications such as service robots, the tasks have different criticality, flexible timing constraints and variable execution time. For instance...
David Ramada, Carlos Domínguez, Houcine Has...
WCE
2007
15 years 27 days ago
Determination of the Position and Orientation of Rigid Bodies by Using Single Camera Images
- This study aims to present a new reconstruction method which enables reconstruction of 3D configuration of an object using single camera images. A secondary planar target which i...
Varlik Kilic, Bulent E. Platin
GECCO
2008
Springer
111views Optimization» more  GECCO 2008»
15 years 25 days ago
Multi-task code reuse in genetic programming
We propose a method of knowledge reuse between evolutionary processes that solve different optimization tasks. We define the method in the framework of tree-based genetic progra...
Wojciech Jaskowski, Krzysztof Krawiec, Bartosz Wie...
104
Voted
SIGCOMM
2010
ACM
14 years 12 months ago
QuagFlow: partnering Quagga with OpenFlow
Computing history has shown that open, multi-layer hardware and software stacks encourage innovation and bring costs down. Only recently this trend is meeting the networking world...
Marcelo Ribeiro Nascimento, Christian Esteve Rothe...