1271 search results - page 59 / 255 » On Simulation-Checking with Sequential Systems |
CIKM
2009
Springer
14 years 4 months ago
2009
Springer
This paper proposes the integration of semantic information drawn from a web application’s domain knowledge into all phases of the web usage mining process (preprocessing, patte...
DAGM
2001
Springer
14 years 2 months ago
2001
Springer
In this paper we introduce a formalism for optimal camera parameter selection for iterative state estimation. We consider a framework based on Shannon’s information theory and se...
EUROPAR
1997
Springer
14 years 2 months ago
1997
Springer
We experiment with sequential and parallel versions of the Karatsuba multiplication algorithm implemented under the paclib computer algebra system on a Sequent Symmetry shared-memo...
TIT
2008
13 years 10 months ago
2008
The problem of transmission of information over arbitrarily permuted parallel channels is studied here. The transmitter does not know over which channel a certain codesequence will...
FMSD
2002
13 years 9 months ago
2002
Object-based sequential programming has had a major impact on software engineering. However, object-based concurrent programming remains elusive as an effective programming tool. T...