2607 search results - page 383 / 522 » Complete Functional Synthesis |
248
click to vote
SIGMOD
2010
ACM
15 years 7 months ago
2010
ACM
The proliferation of knowledge-sharing communities and the advances in information extraction have enabled the construction of large knowledge bases using the RDF data model to re...
134
click to vote
SIGMOD
1999
ACM
15 years 7 months ago
1999
ACM
Classification is an important data mining problem. Given a training database of records, each tagged with a class label, the goal of classification is to build a concise model ...
141
Voted
PLDI
1998
ACM
15 years 6 months ago
1998
ACM
The fth release of the multithreaded language Cilk uses a provably good \work-stealing" scheduling algorithm similar to the rst system, but the language has been completely r...
128
Voted
DAC
1997
ACM
15 years 6 months ago
1997
ACM
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
164
click to vote
ERCIMDL
2006
Springer
15 years 6 months ago
2006
Springer
There is a lack of an integrated technology that will increase effective usage of the vast and heterogeneous multi-lingual and multimedia digital content. The need is being express...