9110 search results - page 1483 / 1822 » Formally-Based Design Evaluation |
187
click to vote
IVC
2007
15 years 6 months ago
2007
This paper presents visual cues for object tracking in video sequences using particle filtering. A consistent histogram-based framework is developed for the analysis of colour, e...
186
click to vote
JAIR
2007
15 years 6 months ago
2007
In this paper we present and evaluate a general framework for the design of truthful auctions for matching agents in a dynamic, two-sided market. A single commodity, such as a res...
173
click to vote
TKDE
2008
15 years 6 months ago
2008
Given a transportation network having source nodes with evacuees and destination nodes, we want to find a contraflow network configuration (that is, ideal direction for each edge) ...
171
click to vote
TKDE
2008
15 years 6 months ago
2008
Situational awareness (SA) applications monitor the real world and the entities therein to support tasks such as rapid decision making, reasoning, and analysis. Raw input about unf...
266
click to vote
TMC
2008
15 years 6 months ago
2008
Integrating mobile computing and localized user interaction into the Internet requires more than simply overcoming pure routing challenges. Apart from issues such as intermittent c...