Sciweavers

17 search results - page 3 / 4
» ki 1999
Sort
View
ICCAD
1999
IEEE
96views Hardware» more  ICCAD 1999»
13 years 10 months ago
Implication graph based domino logic synthesis
In this paper, we present a new approach to the problem of inverter elimination in domino logic synthesis. A small piece of static CMOS logic is introduced to the circuit to avoid...
Ki-Wook Kim, C. L. Liu, Sung-Mo Kang
ICRA
1999
IEEE
119views Robotics» more  ICRA 1999»
13 years 10 months ago
Haptic Control of the Master Hand Controller for a Microsurgical Telerobot System
A microsurgical telerobot system has been developed based on the results of the operation task analysis. The telerobot system is composed of a 6-dof parallel micromanipulator atta...
Dong-Soo Kwon, Ki Young Woo, Hyung Suck Cho
KI
2002
Springer
13 years 5 months ago
Formal Properties of Constraint Calculi for Qualitative Spatial Reasoning
In the previous two decades, a number of qualitative constraint calculi have been developed, which are used to represent and reason about spatial configurations. A common property...
Bernhard Nebel, Alexander Scivos
ICMCS
1999
IEEE
94views Multimedia» more  ICMCS 1999»
13 years 10 months ago
Multi-Phase Interval Caching for a News on Demand Server
In this paper, we propose a buffer cache algorithm to build a cost effective storage server for real time news objects. In a News On Demand Server, the number of concurrent stream...
Yong Woon Park, Won Il Seo, Ki-Dong Chung
COMBINATORICS
1999
83views more  COMBINATORICS 1999»
13 years 5 months ago
New Lower Bounds for Some Multicolored Ramsey Numbers
In this article we use two different methods to find new lower bounds for some multicolored Ramsey numbers. In the first part we use the finite field method used by Greenwood and ...
Aaron Robertson