2661 search results - page 356 / 533 » Model Checking Performability Properties |
CLOR
2006
14 years 2 months ago
2006
Recent advances in object recognition have emphasized the integration of intensity-derived features such as affine patches with associated geometric constraints leading to impressi...
ICMI
2000
Springer
14 years 2 months ago
2000
Springer
In this paper, we develop a system to track and recognize hand motion in nearly real time. An important application of this system is to simulate mouse as a visual inputting device...
ENVSOFT
2006
13 years 10 months ago
2006
Nestedness is a property of binary matrices of ecological data and quantified by the matrix's temperature, T. The program widely used to calculate T is Nestedness Temperature...
IJBC
2007
13 years 10 months ago
2007
We perform an analytical study of the external cavity modes of a semiconductor laser subject to conventional optical feedback as modeled by the well-known Lang-Kobayashi equations...
CODES
2006
IEEE
14 years 4 months ago
2006
IEEE
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...