Sciweavers

4306 search results - page 393 / 862
» Timed Testing with TorX
Sort
View
128
Voted
CW
2005
IEEE
15 years 9 months ago
Strategy for Displaying the Recognition Result in Interactive Vision
This paper describes a choice strategy to ease user’s burdens for an interactive object recognition system when the system obtains multiple object candidates as a recognition re...
Yasushi Makihara, Jun Miura, Yoshiaki Shirai, Nobu...
ETFA
2005
IEEE
15 years 9 months ago
Environmental control system based on mobile devices
AbstractThe impact of the use of mobile devices by means of GPRS (General Packet Radio Service) technology to access environmental information in real time, provided by sensors str...
T. Albero, V. Sempere, J. Silvestre, P. Dabbas
ISSRE
2002
IEEE
15 years 8 months ago
Worst Case Reliability Prediction Based on a Prior Estimate of Residual Defects
In this paper we extend an earlier worst case bound reliability theory to derive a worst case reliability function R(t), which gives the worst case probability of surviving a furt...
Peter G. Bishop, Robin E. Bloomfield
HYBRID
2000
Springer
15 years 7 months ago
Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems
In this paper, we formulate the problem of characterizing the stability of a piecewise affine (PWA) system as a verification problem. The basic idea is to take the whole Rn as the ...
Alberto Bemporad, Fabio Danilo Torrisi, Manfred Mo...
133
Voted
ATAL
2008
Springer
15 years 5 months ago
Using multi-agent potential fields in real-time strategy games
Bots for Real Time Strategy (RTS) games provide a rich challenge to implement. A bot controls a number of units that may have to navigate in a partially unknown environment, while...
Johan Hagelbäck, Stefan J. Johansson