1090 search results - page 65 / 218 » Type-Directed Partial Evaluation |
CLEIEJ
2010
13 years 5 months ago
2010
This work presents a method for the definition of process capability profiles lined up with the specific business model of small software companies. The developed method is made u...
TCOM
2011
13 years 2 months ago
2011
—An iterative algorithm employing decision feedback provided by either an equalizer or a channel decoder is proposed in order to compensate for the phase noise resulting from imp...
DLOG
2011
2011
Reasoning in Resource-Constrained Environments: a Matchmaking Engine over Relational Knowledge Bases
12 years 11 months ago
We present a framework for logic-based matchmaking on ALN ABoxes stored in a relational database. The proposed approach allows both non-standard reasoning and subsumption check be ...
ALDT
2011
Springer
12 years 7 months ago
2011
Springer
Abstract. We develop a Bayesian approach to concept learning for crowdsourcing applications. A probabilistic belief over possible concept definitions is maintained and updated acc...
CISIS
2011
IEEE
12 years 7 months ago
2011
IEEE
—The Dynamic Vehicle Routing Problem (DVRP) is an optimization problem in which agents deliver orders that are not known in advance to the routing. Partial solutions need to be a...