2061 search results - page 344 / 413 » Modeling search engine effectiveness for federated search |
162
click to vote
EUROMICRO
2007
IEEE
16 years 15 days ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
156
click to vote
CLEF
2005
Springer
15 years 11 months ago
2005
Springer
This year, we have participated on multilingual two years on and Multi-8 merging-only CLEF task. Our main interest has been to test several usual CLIR tasks and investigate how th...
165
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
Cloud computing has become a hot topic in the IT industry. Great efforts have been made to establish cloud computing platforms for enterprise users, mostly small businesses. Howe...
181
click to vote
LCTRTS
1999
Springer
15 years 10 months ago
1999
Springer
We present a design tool for automated synthesis of embedded systems on distributed COTS-based platforms. Our synthesis tool consists of (1) a graphical user interface for input o...
150
click to vote
LREC
2010
15 years 7 months ago
2010
This paper presents the Multiword Expression Toolkit (mwetoolkit), an environment for type and language-independent MWE identification from corpora. The mwetoolkit provides a targ...