740 search results - page 106 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
122
click to vote
WMCSA
1999
IEEE
15 years 5 months ago
1999
IEEE
In this study we investigate the interaction between TCP and MAC layer in a wireless multi-hop network. Using simulation, we provide new insight into two critical problems of TCP ...
116
click to vote
CHI
2010
ACM
15 years 8 months ago
2010
ACM
Newport is a collaborative application for sharing context (e.g. location) and content (e.g. photos and notes) during mobile phone calls. People can share during a phone call and ...
146
click to vote
ISI
2006
Springer
15 years 1 months ago
2006
Springer
Analysis of terrorist social networks is essential for discovering knowledge about the structure of terrorist organizations. Such knowledge is important for developing effective co...
115
click to vote
CVPR
2001
IEEE
16 years 3 months ago
2001
IEEE
We present a component-based, trainable system for detecting frontal and near-frontal views of faces in still gray images. The system consists of a two-level hierarchy of Support ...
115
click to vote
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
Most of the proposed approaches in automatic service selection assume the existence of a common ontology among communicating agents. However, this assumption becomes difficult to...