19979 search results - page 285 / 3996 » Decision support systems |
191
click to vote
SAC
2010
ACM
16 years 2 months ago
2010
ACM
A concept learning framework for terminological representations is introduced. It is grounded on a method for inducing logic decision trees as an adaptation of the classic tree in...
179
click to vote
RTA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We consider the problem of deciding the security of cryptographic protocols for a bounded number of sessions, taking into account some algebraic properties of the securit...
184
click to vote
HICSS
2006
IEEE
16 years 1 months ago
2006
IEEE
Given the amount of perceived risk involved in Internet shopping, many potential Internet shoppers tend to wait and observe the experiences of others who have tried it before cons...
192
click to vote
GLVLSI
2005
IEEE
16 years 29 days ago
2005
IEEE
We have presented an optimal on-chip buffer allocation and buffer insertion methodology which uses stochastic models of the architecture. This methodology uses finite buffer s...
174
click to vote
MFCS
2005
Springer
16 years 25 days ago
2005
Springer
Systems of language equations of the form {ϕ(X1, . . . , Xn) = ∅, ψ(X1, . . . , Xn) = ∅} are studied, where ϕ, ψ may contain set-theoretic operations and concatenation; the...