Sciweavers

3379 search results - page 279 / 676
» Combinators for Interaction Nets
Sort
View
DFT
2005
IEEE
90views VLSI» more  DFT 2005»
16 years 8 days ago
On the Modeling and Analysis of Jitter in ATE Using Matlab
This paper presents a new jitter component analysis method for mixed mode VLSI chip testing in Automatic Test Equipment (ATE). The separate components are analyzed individually an...
Kyung Ki Kim, Jing Huang, Yong-Bin Kim, Fabrizio L...
KI
2001
Springer
15 years 11 months ago
Experiments with an Agent-Oriented Reasoning System
Abstract. This paper discusses experiments with an agent oriented approach to automated and interactive reasoning. The approach combines ideas from two subfields of AI (theorem pr...
Christoph Benzmüller, Mateja Jamnik, Manfred ...
CHI
2009
ACM
16 years 7 months ago
Using hands and feet to navigate and manipulate spatial data
We demonstrate how multi-touch hand gestures in combination with foot gestures can be used to perform navigation tasks in interactive systems. The geospatial domain is an interest...
Johannes Schöning, Florian Daiber, Antonio Kr...
CHI
2002
ACM
16 years 7 months ago
The KITE geometry manipulator
We introduce a new geometry manipulator, a tool for 2D geometrical object manipulations in drawing packages. The manipulator is an extended combination of two standard approaches....
Sviataslau Pranovich, Jarke J. van Wijk, Kees van ...
HAPTICS
2009
IEEE
16 years 1 months ago
Non-contact tactile sensation synthesized by ultrasound transducers
This paper describes a new tactile device which produces stress fields in 3D space. Combined with mid-air and/or 3D stereoscopic displays, this device provides high-fidelity tacti...
Takayuki Hoshi, Takayuki Iwamoto, Hiroyuki Shinoda