Sciweavers

4836 search results - page 182 / 968
» Exploring the Similarity Space
Sort
View
149
Voted
FLAIRS
2000
15 years 8 months ago
Simultaneous Search in Connection Tableau Calculi by Means of Disjunctive Constraints
Automatedtheorem proving with connection tableau calculi imposessearch problemsin tremendoussearch spaces. In this paper, wepresent a newapproachto search space reduction in conne...
Ortrun Ibens
SIGCOMM
2009
ACM
16 years 1 months ago
Opportunistic forwarding in workplaces
So far, the search for Opportunistic Network (ON) applications has focused on urban/rural scenarios where the combined use of mobility and the store-carry-and-forward paradigm hel...
Sabrina Gaito, Elena Pagani, Gian Paolo Rossi
ICPR
2008
IEEE
16 years 1 months ago
Hallucinating facial images and features
In facial image analysis, image resolution is an important factor which has great influence on the performance of face recognition systems. As for lowresolution face recognition p...
Bo Li, Hong Chang, Shiguang Shan, Xilin Chen, Wen ...
IV
2008
IEEE
105views Visualization» more  IV 2008»
16 years 1 months ago
A Dual-View Visualization of In-Car Communication Processes
With the increasing complexity of in-car communication architectures, their diagnostics have become essential for automotive development and maintenance. In order to help engineer...
Michael Sedlmair, Wolfgang Hintermaier, Konrad Sto...
AINA
2007
IEEE
16 years 1 months ago
Synthetic Trace-Driven Simulation of Cache Memory
The widening gap between CPU and memory speed has made caches an integral feature of modern highperformance processors. The high degree of configurability of cache memory can requ...
Rahman Hassan, Antony Harris, Nigel P. Topham, Ari...