1090 search results - page 105 / 218 » Type-Directed Partial Evaluation |
110
click to vote
ENTCS
2006
15 years 20 days ago
2006
We describe our efforts to use rule-based programming to produce a model of Jumbo, a run-time program generation (RTPG) system for Java. Jumbo incorporates RTPG following the simp...
122
click to vote
JCM
2008
15 years 19 days 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 ...
109
Voted
JAIR
2006
15 years 19 days 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...
97
Voted
LISP
2008
15 years 19 days 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...
112
click to vote
ICVS
1999
Springer
15 years 5 months ago
1999
Springer
Tracking in 3D with an active vision system depends on the performance of both motor control and vision algorithms. Tracking is performed based on different visual behaviors, name...