3495 search results - page 175 / 699 » On the random satisfiable process |
145
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
Several current research efforts in business process modeling are investigating XML-based executable formal specification languages. The availability of the latter allows modeled...
159
Voted
ACL
2007
15 years 6 months ago
2007
This paper presents a comparative study of five parameter estimation algorithms on four NLP tasks. Three of the five algorithms are well-known in the computational linguistics com...
136
Voted
MM
2010
ACM
15 years 4 months ago
2010
ACM
The Internet brings us access to multimedia databases with billions of data instances. The massive amount of data available to researchers and application developers brings both o...
125
click to vote
PVLDB
2010
15 years 3 months ago
2010
We consider the problem of efficiently finding the top-k answers for join queries over web-accessible databases. Classical algorithms for finding top-k answers use branch-and-b...
162
Voted
IHI
2010
14 years 11 months ago
2010
One goal of medical device certification is to show that a given medical device satisfies its requirements. The requirements that should be met by a device, however, depend on the...