1252 search results - page 188 / 251 » Foundations of Similarity and Utility |
CIKM
2006
Springer
14 years 1 months ago
2006
Springer
We consider the problem of evaluating retrieval systems using incomplete judgment information. Buckley and Voorhees recently demonstrated that retrieval systems can be efficiently...
FMCAD
2006
Springer
14 years 1 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
EXACT
2008
14 years 10 days ago
2008
An important requirement for intelligent assistants is to have an explanation generation mechanism, so that the trainee has a better understanding of the recommended actions and ca...
ICPR
2010
IEEE
14 years 1 days ago
2010
IEEE
In this paper, we explore the idea of using only pose, without utilizing any temporal information, for human action recognition. In contrast to the other studies using complex acti...
ASPDAC
2008
ACM
14 years 23 hour ago
2008
ACM
- In multi-layered power/ground (P/G) networks, to connect the whole network together, vertical vias are usually placed at intersections between metal wires of adjoining layers. In...