20066 search results - page 3660 / 4014 » T Spaces |
161
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
181
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
—The exploitation of multiuser diversity and the application of multiple antennas at transmitter and receiver are considered to be key technologies for future highly bandwidtheff...
213
click to vote
ACIVS
2007
Springer
16 years 1 months ago
2007
Springer
Multi-camera networks bring in potentials for a variety of vision-based applications through provisioning of rich visual information. In this paper a method of image segmentation f...
191
click to vote
ADC
2007
Springer
16 years 1 months ago
2007
Springer
Recently, privacy issues have become important in clustering analysis, especially when data is horizontally partitioned over several parties. Associative queries are the core retr...
179
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
In online, dynamic environments, the services requested by consumers may not be readily served by the providers. This requires the service consumers and providers to negotiate the...