Sciweavers

3719 search results - page 17 / 744
» order 2010
Sort
View
FUIN
2010
76views more  FUIN 2010»
13 years 7 months ago
Church-Rosser Made Easy
The Church
Dexter Kozen
BICA
2010
13 years 4 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»
14 years 2 months ago
Passive reduced order modeling of multiport interconnects via semidefinite programming
Zohaib Mahmood, Brad Bond, Tarek Moselhy, Alexandr...