2004 search results - page 109 / 401 » Comparison of Model Checking Tools for Information Systems |
129
click to vote
LREC
2008
15 years 6 months ago
2008
Recently, there has been an emphasis on creating shared resources for natural language processing applications. This has resulted in the development of high-quality tools and data...
127
click to vote
WIRTSCHAFTSINFORMATI
2003
15 years 6 months ago
2003
: Data warehouse projects, today, are in an ambivalent situation. On the one hand, data warehouses are critical for a company's success and various methodological and technolo...
140
click to vote
EUROMICRO
2007
IEEE
15 years 11 months 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...
168
click to vote
ISMIR
2000
Springer
15 years 8 months ago
2000
Springer
Active musicians generally rely on extensive personal paper-based music information retrieval systems containing scores, parts, compositions, and arrangements of published and han...
137
click to vote
HIS
2001
15 years 6 months ago
2001
To successfully prepare and model data, the data miner needs to be aware of the properties of the data manifold. In this chapter, the outline of a tool for automatically generating...