3179 search results - page 332 / 636 » Applications of PCF Theory |
165
Voted
AGP
2010
IEEE
15 years 8 months ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
179
Voted
GLVLSI
2002
IEEE
15 years 8 months ago
2002
IEEE
Spectral techniques have found many applications in computeraided design, including synthesis, verification, and testing. Decision diagram representations permit spectral coeffici...
148
Voted
HAPTICS
2002
IEEE
15 years 8 months ago
2002
IEEE
Haptic Interfaces have been used as cooperative systems to reproduce and simulate human actions. The Haptic Interface (HI) can be used as a tool capable of interacting dynamically...
128
Voted
HPDC
2002
IEEE
15 years 8 months ago
2002
IEEE
Rather than painful, manual, static, per-connection optimization of TCP buffer sizes simply to achieve acceptable performance for distributed applications [8, 10], many researcher...
120
Voted
ICARCV
2002
IEEE
15 years 8 months ago
2002
IEEE
Integral quadratic constraints (IQC) arise in many optimal and/or robust control problems. The IQC approach can be viewed as a generalization of the classical multiplier approach ...