10038 search results - page 1536 / 2008 » Model Checking for Managers |
177
click to vote
WSC
2007
15 years 9 months ago
2007
Photolithography is generally regarded as the most constraining element in semiconductor manufacturing. This is primarily attributable to the high capital investment and extensive...
158
click to vote
WSC
2008
15 years 9 months ago
2008
Research in parallel simulation has been around for more than two decades. However, the number of papers reporting on its application to real world problems is limited. At the 200...
193
click to vote
CHI
2008
ACM
15 years 8 months ago
2008
ACM
As Wikipedia grows, so do the messy byproducts of collaboration. Backlogs of administrative work are increasing, suggesting the need for more users with privileged admin status. T...
213
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Previous work on Natural Language Processing for Information Retrieval has shown the inadequateness of semantic and syntactic structures for both document retrieval and categoriza...
197
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a unified framework for the evaluation of a range of structured document retrieval (SDR) approaches and tasks. The framework is based on a model of tree retrie...