3388 search results - page 93 / 678 » Type-theoretic design patterns |
140
click to vote
ACL
2009
15 years 2 months ago
2009
This paper proposes a novel user intention simulation method which is a data-driven approach but able to integrate diverse user discourse knowledge together to simulate various ty...
192
click to vote
ISCA
2012
IEEE
13 years 7 months ago
2012
IEEE
There have been many attacks that exploit side-effects of program execution to expose secret information and many proposed countermeasures to protect against these attacks. Howeve...
165
click to vote
CLUSTER
2009
IEEE
15 years 2 months ago
2009
IEEE
Scientific computing has seen an immense growth in recent years. The Message Passing Interface (MPI) has become the de-facto standard for parallel programming model for distribute...
155
click to vote
ICC
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we investigate the low-complexity synchronization design for multi-band orthogonalfrequency-division-multiplexing (MB-OFDM) ultra-wideband (UWB) systems. We propose...
177
click to vote
ICCAD
2009
IEEE
15 years 2 months ago
2009
IEEE
Computational protein design can be formulated as an optimization problem, where the objective is to identify the sequence of amino acids that minimizes the energy of a given prot...