3707 search results - page 202 / 742 » A Simple Technique for Self-Calibration |
141
click to vote
IV
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper introduces a number of refinements to the Parallel Coordinates visualisation metaphor for multidimensional data. Firstly, the traditional set of poly-lines are replaced...
183
click to vote
DAWAK
2003
Springer
15 years 11 months ago
2003
Springer
We introduce a new method for optimization of SQL queries with nested subqueries. The method is based on the idea of Boolean aggregates, aggregates that compute the conjunction or ...
176
click to vote
ESORICS
2003
Springer
15 years 11 months ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...
194
click to vote
VLSID
2002
IEEE
15 years 11 months ago
2002
IEEE
A new approach to synthesizing totally symmetric Boolean functions is presented. First, a novel cellular array is introduced for synthesizing unate symmetric functions. Using this...
179
click to vote
VR
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a unified user interface technology, using 3D interaction techniques, constructive solid geometry, and a glove based menuing system, known as TinmithHand, to s...