Sciweavers

3719 search results - page 17 / 744
» order 2010
Sort
View
FUIN
2010
76views more  FUIN 2010»
15 years 3 months ago
Church-Rosser Made Easy
The Church
Dexter Kozen
BICA
2010
15 years 1 months ago
Implementing First-Order Variables in a Graphical Cognitive Architecture
Graphical cognitive architectures implement their functionality through localized message passing among computationally limited nodes. First-order variables
Paul S. Rosenbloom
DATE
2010
IEEE
152views Hardware» more  DATE 2010»
15 years 11 months ago
Passive reduced order modeling of multiport interconnects via semidefinite programming
Zohaib Mahmood, Brad Bond, Tarek Moselhy, Alexandr...