14244 search results - page 2351 / 2849 » Modeling Program Predictability |
157
click to vote
ENTCS
2007
15 years 4 months ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
103
click to vote
ENTCS
2007
15 years 4 months ago
2007
Service oriented computing is an emerging paradigm for programming distributed applications based on services. Services are simple software elements that supply their functionalit...
142
click to vote
ML
2008
ACM
15 years 4 months ago
2008
ACM
This paper explores the addition of constraints to the linear programming formulation of the support vector regression problem for the incorporation of prior knowledge. Equality an...
153
click to vote
PAAPP
2006
15 years 4 months ago
2006
OpenMP is an architecture-independent language for programming in the shared memory model. OpenMP is designed to be simple and in terms of programming abstractions. Unfortunately,...
132
click to vote
RAS
2006
15 years 4 months ago
2006
This article introduces a new software tool that provides an accurate simulation of Sony Aibo robots and the capability to transfer controller programs from the simulation to the ...