6562 search results - page 967 / 1313 » Noetherianity and Combination Problems |
145
Voted
SISAP
2008
IEEE
16 years 1 months ago
2008
IEEE
All pivot-based algorithms for similarity search use a set of reference points called pivots. The pivot-based search algorithm precomputes some distances to these reference points...
162
Voted
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
180
Voted
TIME
2008
IEEE
16 years 1 months ago
2008
IEEE
The movement in public transport networks is organized according to schedules. The real-world schedules are specified by a set of periodic rules and a number of irregularities fr...
183
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—We evaluate the system-level performance and potential capacity gain of MBSFN (Multicast/Broadcast Single Frequency Network) operation in Wideband CDMA (WCDMA) and compa...
172
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Broadband access for all will be a key functionality in future mobile radio networks. Depending on the length and the characteristic of the radio wave propagation the performan...