3736 search results - page 327 / 748 » Generative Programming |
132
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating the proofs which are inherently larg...
161
click to vote
IAT
2010
IEEE
15 years 2 months ago
2010
IEEE
ASEME is an emerging Agent Oriented Software Engineering (AOSE) methodology. The Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the transition of...
152
click to vote
UM
2007
Springer
15 years 10 months ago
2007
Springer
Users’ critiques to the current recommendation form a crucial feedback mechanism for refining their preference models and improving a system’s accuracy in recommendations that ...
123
click to vote
NIPS
2000
15 years 5 months ago
2000
We propose a method of approximate dynamic programming for Markov decision processes (MDPs) using algebraic decision diagrams (ADDs). We produce near-optimal value functions and p...
157
click to vote
TIT
2010
14 years 11 months ago
2010
A method for bounding the rate of bit-stuffing encoders for 2-D constraints is presented. Instead of considering the original encoder, we consider a related one which is quasistati...