29172 search results - page 303 / 5835 » Modeling Systems in CLP |
161
click to vote
IJFCS
2007
15 years 6 months ago
2007
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...
185
click to vote
IJPRAI
2000
15 years 6 months ago
2000
As Bayesian networks become widely accepted as a normative formalism for diagnosis based on probabilistic knowledge, they are applied to increasingly larger problem domains. These...
164
click to vote
MVA
2002
15 years 6 months ago
2002
system [6] is defined for each finger. Recently, the model-based hand posture analysis researches have become increasingly popular for many applications, such as hand gesture recog...
180
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
The next-generation social communication medium, teleimmersion, is receiving increasing attention from both the research and industrial communities. It enables interaction between...
167
click to vote
RECSYS
2009
ACM
16 years 1 months ago
2009
ACM
Previous work on using external aggregate rating information showed that this information can be incorporated in several different types of recommender systems and improves their...