Sciweavers

1036 search results - page 32 / 208
» Utilizing Validation Experience for System Validation
Sort
View
IPPS
2009
IEEE
14 years 2 months ago
Throughput-fairness tradeoff in Best Effort flow control for on-chip architectures
We consider two flow control schemes for Best Effort traffic in on-chip architectures, which can be deemed as the solutions to the boundary extremes of a class of utility maximi...
Fahimeh Jafari, Mohammad Sadegh Talebi, Mohammad H...
IJCNN
2008
IEEE
14 years 2 months ago
A connection-limited neural network by InfoMax and InfoMin
— It is well known that edge filters in the visual system can be generated by the InfoMax principle. But, such models are nonlinear and employ fully-connected network structures...
Yoshitatsu Matsuda, Kazunori Yamaguchi
UIST
2006
ACM
14 years 2 months ago
Using a low-cost electroencephalograph for task classification in HCI research
Modern brain sensing technologies provide a variety of methods for detecting specific forms of brain activity. In this paper, we present an initial step in exploring how these tec...
Johnny Chung Lee, Desney S. Tan
ICRA
2002
IEEE
116views Robotics» more  ICRA 2002»
14 years 1 months ago
Staying Alive: A Docking Station for Autonomous Robot Recharging
—Autonomous mobile robots are constrained in their long-term functionality due to a limited on-board power supply. Typically, rechargeable batteries are utilized that may only pr...
Milo C. Silverman, Dan Nies, Boyoon Jung, Gaurav S...
ESOP
2006
Springer
13 years 11 months ago
Inference of User-Defined Type Qualifiers and Qualifier Rules
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
Brian Chin, Shane Markstrum, Todd D. Millstein, Je...