3780 search results - page 651 / 756 » Algorithms for Game Metrics |
ASYNC
2005
IEEE
14 years 2 months ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
CSB
2005
IEEE
14 years 2 months ago
2005
IEEE
DNA microarray experiments generate a substantial amount of information about global gene expression. Gene expression profiles can be represented as points in multi-dimensional sp...
ESCIENCE
2005
IEEE
14 years 2 months ago
2005
IEEE
DIET (Distributed Interactive Engineering Toolbox) is a set of hierarchical components to design Network Enabled Server (NES) systems. In these systems, clients ask to agents (dis...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract— This paper presents a novel approach to mapping for mobile robots that exploits user interaction to semiautonomously create a labelled map of the environment. The robot...
JCDL
2005
ACM
14 years 2 months ago
2005
ACM
This paper describes the development of practical automatic metadata assignment tools to support automatic record creation for virtual libraries, metadata repositories and digital...