2373 search results - page 361 / 475 » On the Theory of Structural Subtyping |
186
click to vote
TPHOL
2008
IEEE
16 years 24 days ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
158
click to vote
CBMS
2007
IEEE
16 years 23 days ago
2007
IEEE
Clinical pathways translate evidence-based recommendations into locally practicable, process-specific algorithms that reduce practice variations and optimize quality of care. Our ...
170
click to vote
CISS
2007
IEEE
16 years 23 days ago
2007
IEEE
— Assuming full channel state information (CSI) at both transmitter (CSIT) and receiver (CSIR), we consider optimizing a nonlinear MIMO transceiver with (nonlinear) decision feed...
154
click to vote
GLVLSI
2007
IEEE
16 years 22 days ago
2007
IEEE
A probabilistic power estimation technique for combinational circuits is presented. A novel set of simple waveforms is the kernel of this technique. The transition density of each...
168
click to vote
ICDCS
2007
IEEE
16 years 22 days ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...