1016 search results - page 9 / 204 » Parallelism Constraints |
IJCV
2007
13 years 8 months ago
2007
The machine interpretation of line drawings has applications both in vision and geometric modelling. This paper extends the classic technique of assigning semantic labels to lines ...
ACL
2008
13 years 10 months ago
2008
In adding syntax to statistical MT, there is a tradeoff between taking advantage of linguistic analysis, versus allowing the model to exploit linguistically unmotivated mappings l...
SAC
1994
ACM
14 years 21 days ago
1994
ACM
An extension of Me parallel constraint logic programming language ElipSys is presented. This extension is directed towards the development of multi-agent systems which have to dea...
ICST
2009
IEEE
14 years 3 months ago
2009
IEEE
Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java pro...
RTA
2001
Springer
14 years 1 months ago
2001
Springer
The constraint language for lambda structures (CLLS) can model lambda terms that are known only partially. In this paper, we introduce beta reduction constraints to describe beta r...