Sciweavers

1597 search results - page 166 / 320
» Context Capture in Software Development
Sort
View
TIT
2011
127views more  TIT 2011»
13 years 4 months ago
Semiunitary Precoding for Spatially Correlated MIMO Channels
— The focus of this paper is on spatial precoding in correlated multi-antenna channels where the number of datastreams is adapted independent of the number of transmit antennas. ...
Vasanthan Raghavan, Akbar M. Sayeed, Venugopal V. ...
DASFAA
2011
IEEE
231views Database» more  DASFAA 2011»
13 years 1 months ago
Querying Moving Objects with Uncertainty in Spatio-Temporal Databases
Spatio-temporal uncertainty is a special feature of moving objects due to the inability of precisely capturing or predicting their continuously changing locations. Indeterminate lo...
Hechen Liu, Markus Schneider
CVPR
2012
IEEE
12 years 23 hour ago
Two-person interaction detection using body-pose features and multiple instance learning
Human activity recognition has potential to impact a wide range of applications from surveillance to human computer interfaces to content based video retrieval. Recently, the rapi...
Kiwon Yun, Jean Honorio, Debaleena Chattopadhyay, ...
EMSOFT
2007
Springer
14 years 3 months ago
Proving the absence of run-time errors in safety-critical avionics code
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
Patrick Cousot
WCRE
2006
IEEE
14 years 3 months ago
An Industrial Case Study of Program Artifacts Viewed During Maintenance Tasks
Research on maintenance task structure modeling has so far examined only how often program artifacts are modified, and what information can be deduced from modification records....
Lijie Zou, Michael W. Godfrey