3335 search results - page 22 / 667 » Grid result checking |
104
click to vote
DL
2000
Springer
15 years 4 months ago
2000
Springer
Digital library search results are usually shown as a textual list, with 10-20 items per page. Viewing several thousand search results at once on a two-dimensional display with co...
ICALP
2004
Springer
15 years 5 months ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
107
click to vote
PADO
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We present a high-level approach to array bound check optimization that is neither hampered by recursive functions, nor disabled by the presence of partially redundant ch...
VTS
2005
IEEE
15 years 5 months ago
2005
IEEE
The power supply transient signal (IDDT) method that we propose for defect detection analyze regional signal variations introduced by defects at a set of power supply pads on the ...
ICRA
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper presents methods of localization using cooperating landmarks (beacons) that provide the ability to measure range only. Recent advances in radio frequency technology mak...