Sciweavers

595 search results - page 92 / 119
» Using Constraints with Memory to Implement Variable Eliminat...
Sort
View
GLOBECOM
2006
IEEE
14 years 2 months ago
Analog Multi-Tone Signaling for High-Speed Backplane Electrical Links
— Implementing a multi-tone (MT) architecture for high-speed backplane electrical links is difficult given the tight power and complexity constraints in this application. This pa...
Amir Amirkhany, Ali-Azam Abbasfar, Vladimir Stojan...
IROS
2006
IEEE
88views Robotics» more  IROS 2006»
14 years 2 months ago
Reliability-Based Design Optimization of Robotic System Dynamic Performance
In this investigation a robotic system’s dynamic performance is optimized for high reliability under uncertainty. The dynamic capability equations allow designers to predict the...
Alan P. Bowling, John E. Renaud, Jeremy T. Newkirk...
ICCS
2009
Springer
13 years 6 months ago
A Population-Based Approach for Diversified Protein Loop Structure Sampling
Protein loop structure modeling is regarded as a mini protein folding problem with significant scientific importance. Efficiently sampling the loop conformation space is a key step...
Yaohang Li
ICTAI
2007
IEEE
14 years 2 months ago
Knowledge Based Mechanisms for Tutoring Systems in Science and Engineering
In science and engineering courses, students are often presented a situation for which they are asked to identify the relevant principles and to instantiate them as a set of equat...
Chun Wai Liew, Joel A. Shapiro, Donald E. Smith
LISP
2007
74views more  LISP 2007»
13 years 8 months ago
Improving the lazy Krivine machine
Krivine presents the K machine, which produces weak head normal form results. Sestoft introduces several call-by-need variants of the K machine that implement result sharing via pu...
Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. S...