1689 search results - page 35 / 338 » On Natural Non-dcpo Domains |
122
click to vote
CAISE
1992
Springer
15 years 5 months ago
1992
Springer
In many non trivial application domains, object types with a complex structure occur. Data modelling techniques which only allow flat structures are not suitable for representing ...
117
click to vote
ENTCS
2006
15 years 1 months ago
2006
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the d...
113
click to vote
ECBS
2004
IEEE
15 years 5 months ago
2004
IEEE
Model Integrated Computing employs domainspecific modeling languages for the design of Computer Based Systems and automatically generates their implementation. These system models...
AAAI
2006
15 years 3 months ago
2006
Markov decision processes (MDPs) with discrete and continuous state and action components can be solved efficiently by hybrid approximate linear programming (HALP). The main idea ...
106
click to vote
SSWMC
2004
15 years 3 months ago
2004
In this paper, we present a new method for estimating the secret message length of bit-streams embedded using the Least Significant Bit embedding (LSB) at random pixel positions. ...