2152 search results - page 144 / 431 » On Automating the Calculus of Relations |
134
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
In this paper, we introduce a new image database, consisting of examples of artists' work. Successful classification of this database suggests the capacity to automatically re...
192
click to vote
CGVR
2009
15 years 7 months ago
2009
Accurate calibration of a head mounted display (HMD) is essential both for research on the visual system and for realistic interaction with virtual objects. Yet, existing calibrati...
152
click to vote
JIRS
2007
15 years 6 months ago
2007
— Today, there are many opportunities to create vision-based intelligent systems that are human-centric. This is a very rich area because humans are very complex, and the number ...
155
click to vote
WIOPT
2010
IEEE
15 years 4 months ago
2010
IEEE
—The paper presents a methodology that combines statistical learning with constraint optimization by locally optimizing Radio Resource Management (RRM) or system parameters of po...
153
click to vote
JAIR
2011
15 years 1 months ago
2011
We present a method for using standard techniques from satisfiability checking to automatically verify and discover theorems in an area of economic theory known as ranking sets o...