3510 search results - page 60 / 702 » Searching with numbers |
ICMCS
2007
IEEE
15 years 1 months ago
2007
IEEE
In this paper, we investigate the process of searching for images of specified people in the consumer family photo domain. This domain is very different from the controlled enviro...
JAIR
2011
14 years 4 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...
WEBI
2010
Springer
14 years 7 months ago
2010
Springer
The current search engine model considers users not trustworthy, so no tools are provided to let them specify what they are looking for or in what context, which severely limits wh...
ISCAS
2006
IEEE
15 years 3 months ago
2006
IEEE
— We present analytical formulas for the calculation of the memory requirements for a system using the Complex Logarithmic Number System (CLNS). Certain properties of the CLNS ad...
100
click to vote
AICT
2006
IEEE
14 years 11 months ago
2006
IEEE
One of the main characteristics of the peer-to-peer systems is the highly dynamic nature of the users present in the system. In such a rapidly changing enviroment, end-user guaran...