472 search results - page 42 / 95 » Limiting Negations in Formulas |
WINET
2010
13 years 8 months ago
2010
—We propose a novel Self-Balancing Supply/Demand (SBSD) reactive MANET protocol. Our algorithm dynamically discovers publications matching specified subscriptions by controlled f...
VR
2000
IEEE
14 years 2 months ago
2000
IEEE
Fish tank VR systems provide head coupled perspective projected stereo images on a display device of limited dimensions that resides at a fixed location. Therefore, fish tank VR...
GIS
2002
ACM
13 years 10 months ago
2002
ACM
This papers deals with multiway spatial joins when (i) there is limited time for query processing and the goal is to retrieve the best possible solutions within this limit (ii) the...
ASIACRYPT
2010
Springer
13 years 8 months ago
2010
Springer
This paper investigates the Random Oracle Model (ROM) feature known as programmability, which allows security reductions in the ROM to dynamically choose the range points of an ide...
IALP
2009
13 years 8 months ago
2009
Hierarchical phrase-based translation model has been proven to be a simple and powerful machine translation model. However, due to the computational complexity constraints, the ext...