Sciweavers

1939 search results - page 162 / 388
» Dynamic Lex Constraints
Sort
View
IJCV
2008
157views more  IJCV 2008»
15 years 3 months ago
A General Method for Sensor Planning in Multi-Sensor Systems: Extension to Random Occlusion
Systems utilizing multiple sensors are required in many domains. In this paper, we specifically concern ourselves with applications where dynamic objects appear randomly and the s...
Anurag Mittal, Larry S. Davis
ICRA
2003
IEEE
114views Robotics» more  ICRA 2003»
15 years 9 months ago
Robotic catching using a direct mapping from visual information to motor command
— In this paper a robotic catching algorithm based on a nonlinear mapping of visual information to the desired trajectory is proposed. The nonlinear mapping is optimized by learn...
Akio Namiki, Masatoshi Ishikawa
CSFW
2006
IEEE
15 years 8 months ago
Types and Effects for Secure Service Orchestration
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi F...
SIAMCO
2008
83views more  SIAMCO 2008»
15 years 4 months ago
Necessary Conditions for Multiobjective Optimal Control Problems with Free End-Time
Abstract. Necessary conditions of optimality are derived for multiobjective optimal control problems with free end-time, in which the dynamics constraint is modeled as a nonconvex ...
B. T. Kien, N.-C. Wong, J. C. Yao
TAP
2008
Springer
93views Hardware» more  TAP 2008»
15 years 4 months ago
Pex-White Box Test Generation for .NET
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
Nikolai Tillmann, Jonathan de Halleux