3323 search results - page 242 / 665 » Computational Semantics with Functional Programming |
166
Voted
CVIU
2008
15 years 6 months ago
2008
In this paper we introduce a novel method to address minimization of static and dynamic MRFs. Our approach is based on principles from linear programming and, in particular, on pr...
232
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
We present AHIR, an intermediate representation (IR), that acts as a transition layer between software compilation and hardware synthesis. Such a transition layer is intended to t...
175
click to vote
ISPAN
2002
IEEE
15 years 11 months ago
2002
IEEE
Many applications written in C allocate memory blocks for their major data structures from the heap space at runtime. The analysis of heap-oriented pointers in such programs is cr...
196
click to vote
SEMCO
2007
IEEE
16 years 26 days ago
2007
IEEE
One of the key objectives of web service technology is to construct processes that enable service providers to inter-connect with their clients. The industry has developed the UDD...
172
click to vote
SIGIR
2006
ACM
16 years 17 days ago
2006
ACM
A common limitation of many retrieval models, including the recently proposed axiomatic approaches, is that retrieval scores are solely based on exact (i.e., syntactic) matching o...