11172 search results - page 732 / 2235 » Testing Physical Systems |
187
click to vote
ICMCS
1999
IEEE
15 years 11 months ago
1999
IEEE
Multidimensional image retrieval (MIR) views an image as a multidimensional object, where each dimension is a channel for retrieval. MIR has the potential of putting at work toget...
164
click to vote
ICRA
1994
IEEE
15 years 11 months ago
1994
IEEE
This report details our development of a computer controlled spotlight with four actuated degrees-of-freedom for pan, tilt, linear movement, and beam focusing. We review the mecha...
226
click to vote
PLILP
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. Program slicing is a useful technique for debugging, testing, and analyzing programs. A program slice consists of the parts of a program which (potentially) affect the va...
198
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
This paper presents a technique for visualizing large spatial data sets in Web Mapping Systems (WMS). The technique creates a hierarchical clustering tree, which is subsequently u...
206
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
We study the definability of constraint satisfaction problems (CSP) in various fixed-point and infinitary logics. We show that testing the solvability of systems of equations over...