4041 search results - page 520 / 809 » time 2009 |
155
click to vote
GLVLSI
2009
IEEE
16 years 1 months ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
155
click to vote
GLVLSI
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper proposes a scheme for automatic re-distribution layer (RDL) routing, which is used in chip-package connections. Traditional RDL routing designs are mostly performed man...
164
click to vote
HAPTICS
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a tactile Respiratory Management System (tRMS) to manage and control breathing patterns of cancer patients undergoing radiation therapy. The system comprises of an arra...
189
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
—We describe the design of an autonomous agent that can teach itself how to translate from a foreign language, by first assembling its own training set, then using it to improve...
173
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Social conventions are useful self-sustaining protocols for groups to coordinate behavior without a centralized entity enforcing coordination. We perform an in-depth stu...