7820 search results - page 1493 / 1564 » Formalization of Time and Space |
149
click to vote
TASE
2007
IEEE
16 years 11 days 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...
155
click to vote
VTC
2007
IEEE
16 years 11 days 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...
186
click to vote
ACIVS
2007
Springer
16 years 9 days 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...
164
click to vote
ATAL
2007
Springer
16 years 8 days 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...
156
click to vote
CIVR
2007
Springer
16 years 8 days ago
2007
Springer
We present a novel matching and similarity evaluation method for planar geometric shapes represented by sets of polygonal curves. Given two shapes, the matching algorithm randomly...