Sciweavers

7861 search results - page 186 / 1573
» Orthographic Modeling Environment
Sort
View
EUROMICRO
2007
IEEE
16 years 23 days ago
Partial Verification of Software Components: Heuristics for Environment Construction
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
Pavel Parizek, Frantisek Plasil
ATAL
2007
Springer
16 years 19 days ago
On the robustness of preference aggregation in noisy environments
In an election held in a noisy environment, agents may unintentionally perturb the outcome by communicating faulty preferences. We investigate this setting by introducing a theore...
Ariel D. Procaccia, Jeffrey S. Rosenschein, Gal A....
ECAL
2007
Springer
16 years 18 days ago
Neuroevolution of Agents Capable of Reactive and Deliberative Behaviours in Novel and Dynamic Environments
Both reactive and deliberative qualities are essential for a good action selection mechanism. We present a model that embodies a hybrid of two very different neural network archit...
Edward Robinson, Timothy Ellis, Alastair Channon
AVSS
2006
IEEE
16 years 15 days ago
Learning Foveal Sensing Strategies in Unconstrained Surveillance Environments
In this paper we report on techniques for automatically learning foveal sensing strategies for an active pan-tiltzoom camera. The approach uses reinforcement learning to discover ...
Andrew D. Bagdanov, Alberto Del Bimbo, Walter Nunz...
IROS
2006
IEEE
168views Robotics» more  IROS 2006»
16 years 14 days ago
Scanning the Environment with Two Independent Cameras - Biologically Motivated Approach
— In this paper we present a novel method for visual scanning and target tracking by means of independent pan-tilt cameras which mimic the chameleon visual system. We present a s...
Ofir Avni, Francesco Borrelli, Gadi Katzir, Ehud R...