6020 search results - page 912 / 1204 » A New Approach to Model Counting |
218
click to vote
ICCCN
2007
IEEE
16 years 27 days ago
2007
IEEE
—In this paper, we investigate the reliable data transport problem in underwater sensor networks. Underwater sensor networks are significantly different from terrestrial sensor ...
182
click to vote
CLEAR
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. This paper presents a novel approach to the problem of determining head pose estimation and face 3D orientation of several people in low resolution sequences from multipl...
175
click to vote
CCS
2005
ACM
16 years 3 days ago
2005
ACM
We describe a new encryption technique that is secure in the standard model against adaptive chosen ciphertext (CCA2) attacks. We base our method on two very efficient Identity-Ba...
208
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
Graph Languages1 emerged during the seventies from the necessity to process data structures with complex interrelations. Nowadays, various variants of these languages can be found...
167
click to vote
ENVSOFT
2010
15 years 6 months ago
2010
Many studies have reported a relationship between urban air pollution levels and respiratory health problems. However, there are notable variations in results, depending on modeli...