2519 search results - page 419 / 504 » Reasoning with Textual Cases |
175
Voted
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Most methods for multiple camera tracking rely on accurate calibration to associate data from multiple cameras. However, it often is not easy to have an accurate calibration in so...
120
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
Predicting human occupations in photos has great application potentials in intelligent services and systems. However, using traditional classification methods cannot reliably dis...
172
click to vote
ECBS
2011
IEEE
14 years 4 months ago
2011
IEEE
—Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of ...
153
click to vote
SCW
2012
IEEE
13 years 12 months ago
2012
IEEE
For a change in prices, the common-scaling social cost-of-living index is the equal scaling of each individual’s expenditure level needed to restore the level of social welfare ...
148
click to vote
CAV
2012
Springer
13 years 6 months ago
2012
Springer
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...