1655 search results - page 220 / 331 » State, Event, Time and Diagram in System Modeling |
152
click to vote
CEC
2008
IEEE
16 years 23 days ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
149
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— A design scheme of the finite-time tracking controller is given for a general class of nonholonomic systems including extended chained systems, extended power systems,...
146
click to vote
RTSS
2006
IEEE
16 years 9 days ago
2006
IEEE
A real-time database is composed of real-time objects whose values remain valid only within their validity intervals. Each object in the database models a real world entity. The f...
189
click to vote
TCOM
2010
15 years 1 months ago
2010
Abstract--Motivated by the recent concept of Spatial Modulation (SM), we propose a novel Space-Time Shift Keying (STSK) modulation scheme for Multiple-Input Multiple-Output (MIMO) ...
155
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
In most cases when information is to be extracted from an image, there are priors available on the state of the world and therefore on the detailed measurements which will be obta...