1996 search results - page 92 / 400 » A decision procedure for linear |
146
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Decisions regarding the mapping of software components to hardware nodes affect the quality of the resulting system. Making these decisions is hard when considering the ...
206
click to vote
SCIA
2005
Springer
15 years 11 months ago
2005
Springer
This work proposes to learn visual encodings of attention patterns that enables sequential attention for object detection in real world environments. The system embeds a saccadic d...
187
click to vote
TACAS
2007
Springer
16 years 13 days ago
2007
Springer
ion Randal E. Bryant1 , Daniel Kroening2 , Jo¨el Ouaknine3 , Sanjit A. Seshia4 , Ofer Strichman5 , and Bryan Brady4 1 Carnegie Mellon University, Pittsburgh 2 ETH Z¨urich 3 Oxfor...
169
click to vote
CBMS
2006
IEEE
16 years 12 days ago
2006
IEEE
The growing availability of high throughput measurement devices in the operating room makes possible the collection of a huge amount of data about the state of the patient and the...
164
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
The paper presents realization theory of discrete-time linear switched systems (abbreviated by DTLSSs). We present necessary and sufficient conditions for an input-output map to ...