4498 search results - page 363 / 900 » How to Invent Functions |
171
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...
194
click to vote
ASPDAC
2009
ACM
16 years 1 months ago
2009
ACM
— Recent advances in statistical timing analysis (SSTA) achieve great success in computing arrival times under variations by extending sum and maximum operations to random variab...
188
Voted
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Long-range dependence (LRD) is a widely verified property of traffic crossing the wireless LAN radio interface. LRD severely affects network performance yielding longer queuing...
201
click to vote
ICAS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper addresses the need for designing user interfaces (UIs) to workflow information systems by adopting a model-centric approach. We introduce a conceptual workflow model to...
180
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Feedback of channel state information (CSI) enables a multi-carrier transmitter to optimize the power allocation across sub-channels. We consider a single user feedback scheme ...