Sciweavers

242 search results - page 36 / 49
» Hit-and-run from a corner
Sort
View
DATE
2003
IEEE
98views Hardware» more  DATE 2003»
15 years 2 months ago
Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol
System-on-chip (SoC) designs use bus protocols for high performance data transfer among the Intellectual Property (IP) cores. These protocols incorporate advanced features such as...
Abhik Roychoudhury, Tulika Mitra, S. R. Karri
ICDCSW
2003
IEEE
15 years 2 months ago
Exploring Edge-Based Input Techniques for Handheld Text Entry
We are investigating how handheld devices like Palm PDAs and PocketPCs can be used as assistive technologies for computer access by people with motor impairments such as Muscular ...
Jacob O. Wobbrock, Brad A. Myers, Scott E. Hudson
CIAC
2003
Springer
110views Algorithms» more  CIAC 2003»
15 years 2 months ago
Maximizing the Guarded Boundary of an Art Gallery Is APX-Complete
In the Art Gallery problem, given is a polygonal gallery and the goal is to guard the gallery’s interior or walls with a number of guards that must be placed strategically in the...
Euripides Markou, Stathis Zachos, Christodoulos Fr...
ICVS
2003
Springer
15 years 2 months ago
A Framework for Visual Servoing
We consider typical manipulation tasks in terms of a service robot framework. Given a task at hand, such as ”Pick up the cup from the dinner table”, we present a number of diff...
Danica Kragic, Henrik I. Christensen
65
Voted
APCCAS
2002
IEEE
138views Hardware» more  APCCAS 2002»
15 years 2 months ago
A 2.5-V 10-bit 40-MS/S double sampling pipeline A/D converter
This paper presents a 10-bit pipeline ADC using double sampling technique to achieve a conversion rate of 40 MS/s at 2.5-V supply. The opamps are two-stage with folded-cascode as ...
A. Tamtrakarn, N. Wongkomet