6978 search results - page 1227 / 1396 » On Proofs in System P |
CLUSTER
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—Software Distributed Shared Memory (SDSM) systems provide programmers with a shared memory programming environment across distributed memory architectures. In contrast t...
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
— Several European research projects in the vehicular area address the enhancement of vehicular safety. In the frame of the Caring Cars project, an on-board car-gateway embedded ...
GLOBECOM
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—Vehicular Ad-Hoc networks (VANETs) play a critical role in enabling important active safety applications such as collision warning and vehicle tracking. The most pressin...
ICDAR
2009
IEEE
14 years 4 months ago
2009
IEEE
Text extraction is an important phase in document recognition systems. In order to segment text from a page document it is necessary to detect all the possible manuscript text reg...
WMCSA
2009
IEEE
14 years 4 months ago
2009
IEEE
Many consumers are misled into paying high prices due to the search costs associated with attaining price information [16]. The popularity of bargain-hunting web sites like Slickd...