875 search results - page 146 / 175 » Specification Modules for Methodical System Development |
FOCS
1994
IEEE
15 years 1 months ago
1994
IEEE
We establish a nonlinear lower bound for halfplane range searching over a group. Specifically, we show that summing up the weights of n (weighted) points within n halfplanes requir...
67
Voted
CORR
2006
Springer
14 years 9 months ago
2006
Springer
The ongoing paradigm change in the scholarly publication system (`science is turning to e-science') makes it necessary to construct alternative evaluation criteria/metrics wh...
ISBI
2002
IEEE
15 years 10 months ago
2002
IEEE
During the last decade increasingly sophisticated positron emission tomography (PET) scanners have been developed for imaging small laboratory animals. These systems often exhibit...
VTC
2007
IEEE
15 years 4 months ago
2007
IEEE
— A very promising way to achieve high spectral efficiency in wireless communication is the use of multiple transmit and receive antennas. However, in combination with multicarr...
ICCAD
1999
IEEE
15 years 2 months ago
1999
IEEE
Available techniques for testing core-based systems-on-a-chip (SOCs) do not provide a systematic means for synthesising low-overhead test architectures and compact test solutions....