2694 search results - page 54 / 539 » Frege's New Science |
CSR
2007
Springer
14 years 5 months ago
2007
Springer
To solve a problem on a given CNF formula F a splitting algorithm recursively calls for F[v] and F[¬v] for a variable v. Obviously, after the first call an algorithm obtains some...
HICSS
2005
IEEE
14 years 4 months ago
2005
IEEE
Wireless sensor networks are becoming an integral part of numerous applications very quickly. Here, we present a new approach for sensor applications that requires coverage for a ...
HICSS
2003
IEEE
14 years 4 months ago
2003
IEEE
This paper studies some problems regarding mobile content quality (MCQ). Since the reason for communication is to be useful, we think that the only way of creating precise target ...
HICSS
2003
IEEE
14 years 4 months ago
2003
IEEE
Most of the research in the field of peer-to-peer file sharing systems has concentrated on performance issues such as efficient file lookup, replicating files to improve fil...
AVI
2008
14 years 1 months ago
2008
Digital tools for annotation of video have the promise to provide immense value to researchers in disciplines ranging from psychology to ethnography to computer science. With trad...