3417 search results - page 328 / 684 » Visualizing Partial Evaluation |
196
click to vote
JCM
2008
15 years 6 months ago
2008
In this work the performance of a combined equalization for multi-carrier code division multiple access (MC-CDMA) systems is analytically evaluated. Combined equalization consists ...
193
click to vote
JAIR
2006
15 years 6 months ago
2006
The Partially Observable Markov Decision Process has long been recognized as a rich framework for real-world planning and control problems, especially in robotics. However exact s...
167
click to vote
LISP
2008
15 years 6 months ago
2008
Abstract Reasoning about the termination of equational programs in sophisticated equational languages such as ELAN, MAUDE, OBJ, CAFEOBJ, HASKELL, and so on, requires support for ad...
177
click to vote
CGO
2010
IEEE
15 years 4 months ago
2010
IEEE
Dynamic memory allocation is widely used in modern programs. General-purpose heap allocators often focus more on reducing their run-time overhead and memory space utilization, but...
185
click to vote
SIGIR
2010
ACM
15 years 1 months ago
2010
ACM
With the ever-increasing growth of the Internet, numerous copies of documents become serious problem for search engine, opinion mining and many other web applications. Since parti...