2624 search results - page 59 / 525 » The 2LIP model and its implementations |
PPL
2008
13 years 9 months ago
2008
This discussion paper explores the problems of operating systems support when implementing concurrency controls at the level of the instruction set in processors designed for mult...
SIGKDD
2002
13 years 9 months ago
2002
In database marketing, data mining has been used extensively to find the optimal customer targets so as to maximize return on investment. In particular, using marketing campaign d...
BMCBI
2004
13 years 9 months ago
2004
Background: Hidden Markov Models (HMMs) have proven very useful in computational biology for such applications as sequence pattern matching, gene-finding, and structure prediction...
AUSAI
2005
Springer
14 years 3 months ago
2005
Springer
We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. The riddle is then imple...
ERCIMDL
2008
Springer
13 years 11 months ago
2008
Springer
In this paper we describe the design and implementation of the VDL Generator, a tool to simplify and automatise the Digital Library development process. In particular, we discuss h...