149 search results - page 17 / 30 » Symbolic Modeling and Evaluation of Data Paths |
89
Voted
WIOPT
2006
IEEE
15 years 3 months ago
2006
IEEE
— This paper presents the first analytical model for ad hoc networks equipped with multiple-input multiple-output (MIMO) radios using space-time coding (STC) that considers the ...
88
Voted
RECOMB
2005
Springer
15 years 10 months ago
2005
Springer
: A series of genome-scale algorithms and high-performance implementations is described and shown to be useful in the genetic analysis of gene transcription. With them it is possib...
124
click to vote
APSEC
2010
IEEE
14 years 1 months ago
2010
IEEE
There is an emergence of cloud application platforms such as Microsoft’s Azure, Google’s App Engine and Amazon’s EC2/SimpleDB/S3. Startups and Enterprise alike, lured by the...
81
Voted
JFR
2010
14 years 4 months ago
2010
Detecting mud hazards is a significant challenge to unmanned ground vehicle (UGV) autonomous offroad navigation. A military UGV stuck in a mud body during a mission may need to be...
70
Voted
GI
2009
Springer
14 years 7 months ago
2009
Springer
: An operational Air Surveillance System shall generate a stable and reliable air picture. In dense target situations the quality of available sensor data is reduced. System models...