16190 search results - page 2730 / 3238 » Applicative programming with effects |
127
click to vote
GIR
2007
ACM
15 years 7 months ago
2007
ACM
Extracting geographical information from various web sources is likely to be important for a variety of applications. One such use for this information is to enable the study of v...
140
click to vote
GLVLSI
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
105
click to vote
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
Convolutional spreading CDMA with cyclic prefix (CS-CDMA/CP) enables multiuser interference-free (MUI-free) transmission over multipath channels with the use of zero correlation zo...
164
click to vote
ICDM
2007
IEEE
15 years 7 months ago
2007
IEEE
Active inference seeks to maximize classification performance while minimizing the amount of data that must be labeled ex ante. This task is particularly relevant in the context o...
142
Voted
HOTOS
2009
IEEE
15 years 7 months ago
2009
IEEE
Operating systems can efficiently provide system transactions to user applications, in which user-level processes can execute a series of system calls atomically and in isolation ...