Sciweavers

9387 search results - page 1346 / 1878
» An Optimal Process Model for a Real Time Process
Sort
View
204
Voted
AAAI
2008
15 years 9 months ago
Grounding with Bounds
Grounding is the task of reducing a first-order theory to an equivalent propositional one. Typical grounders work on a sentence-by-sentence level, substituting variables by domain...
Johan Wittocx, Maarten Mariën, Marc Denecker
ASPDAC
2008
ACM
129views Hardware» more  ASPDAC 2008»
15 years 9 months ago
Clock tree synthesis with data-path sensitivity matching
This paper investigates methods for minimizing the impact of process variation on clock skew using buffer and wire sizing. While most papers on clock trees ignore data-path circuit...
Matthew R. Guthaus, Dennis Sylvester, Richard B. B...
CEC
2005
IEEE
15 years 9 months ago
Graph composition in a graph grammar-based method for automata network evolution
The dynamics of neural and other automata networks are defined to a large extent by their topologies. Artificial evolution constitutes a practical means by which an optimal topolog...
Martin H. Luerssen, David M. W. Powers
COLT
2008
Springer
15 years 8 months ago
Learning Coordinate Gradients with Multi-Task Kernels
Coordinate gradient learning is motivated by the problem of variable selection and determining variable covariation. In this paper we propose a novel unifying framework for coordi...
Yiming Ying, Colin Campbell
CSREAEEE
2006
99views Business» more  CSREAEEE 2006»
15 years 8 months ago
Quality Assurance Procedures: New Enhancements to the Learning Management System at AOU
- This paper presents a complete description of the improvements that have been conducted for the learning management system at Arab Open University. AOU is the first regional univ...
Jehad Al-Sadi, Bayan Abu Shawar, Taleb Sarie
« Prev « First page 1346 / 1878 Last » Next »