117 search results - page 11 / 24 » Mix and match |
TYPES
2000
Springer
14 years 5 days ago
2000
Springer
We report on the design of a prototyping component for the theorem prover Isabelle/HOL. Specifications consisting of datatypes, recursive functions and inductive definitions are co...
SIGGRAPH
2003
ACM
14 years 1 months ago
2003
ACM
We present techniques which create a consistent illumination between real and virtual objects inside an application specific optical see-through display: the Virtual Showcase. We ...
VLDB
1994
ACM
14 years 20 days ago
1994
ACM
Index structures for multiple sets can be classified into those that group entries according to their key values and those that group entries according to their set membership. Th...
IVC
2000
13 years 8 months ago
2000
In this paper we present a technique for tracking borescope tip pose in real-time. While borescopes are used regularly to inspect machinery for wear or damage, knowing the exact l...
SSPR
2004
Springer
14 years 1 months ago
2004
Springer
Kernel Methods are a class of algorithms for pattern analysis with a number of convenient features. They can deal in a uniform way with a multitude of data types and can be used to...