10038 search results - page 1566 / 2008 » Model Checking for Managers |
171
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Search engines provide a small window to the vast repository of data they index and against which they search. They try their best to return the documents that are of relevance to...
165
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Often Web database users experience difficulty in articulating their needs using a precise query. Providing ranked set of possible answers would benefit such users. We propose to ...
199
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
The vision of the Semantic Web is to give data on the web a welldefined meaning by representing it in RDF and linking it to commonly accepted ontologies. Most formatted data today...
162
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
A new class of associations (polynomial itemsets and polynomial association rules) is presented which allows for discovering nonlinear relationships between numeric attributes wit...
310
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...