10038 search results - page 1983 / 2008 » Model Checking for Managers |
153
Voted
CIKM
2008
Springer
15 years 4 months ago
2008
Springer
For a given query raised by a specific user, the Query Suggestion technique aims to recommend relevant queries which potentially suit the information needs of that user. Due to th...
122
Voted
CIKM
2008
Springer
15 years 4 months ago
2008
Springer
Based on the important progresses made in information retrieval (IR) in terms of theoretical models and evaluations, more and more attention has recently been paid to the research...
134
Voted
CCGRID
2006
IEEE
15 years 4 months ago
2006
IEEE
In the Biodiversity World (BDW) project we have created a flexible and extensible Web Services-based Grid environment for biodiversity researchers to solve problems in biodiversity...
160
Voted
DAC
2006
ACM
15 years 4 months ago
2006
ACM
With the growing complexity in consumer embedded products and the improvements in process technology, Multi-Processor SystemOn-Chip (MPSoC) architectures have become widespread. T...
153
Voted
DAWAK
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Data mining is an iterative process. Users issue series of similar data mining queries, in each consecutive run slightly modifying either the definition of the mined dat...