9110 search results - page 1818 / 1822 » Formally-Based Design Evaluation |
TCIAIG
2010
13 years 4 months ago
2010
The objective of this work is to automatically detect the use of game bots in online games based on the trajectories of account users. Online gaming has become one of the most popu...
TIFS
2010
13 years 4 months ago
2010
Face verification in the presence of age progression is an important problem that has not been widely addressed. In this paper, we study the problem by designing and evaluating dis...
TITB
2010
13 years 4 months ago
2010
Discovering unknown adverse drug reactions (ADRs) in postmarketing surveillance as early as possible is of great importance. The current approach to postmarketing surveillance prim...
TOG
2010
13 years 4 months ago
2010
We demonstrate for the first time a proof of concept projector with a secondary array of individually controllable, analog micromirrors added to improve the contrast and peak brig...
TR
2010
13 years 4 months ago
2010
Abstract--In the past ten years, the software aging phenomenon has been systematically researched, and recognized by both academic, and industry communities as an important obstacl...