370 search results - page 45 / 74 » An efficient implementation of a new DOP model |
116
click to vote
FORMATS
2009
Springer
15 years 5 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
103
click to vote
CVPR
2007
IEEE
16 years 3 months ago
2007
IEEE
We present a new formulation to multi-view stereo that treats the problem as probabilistic 3D segmentation. Previous work has used the stereo photo-consistency criterion as a dete...
145
click to vote
SOCIALCOM
2010
14 years 11 months ago
2010
Service composition is a new paradigm for efficient and cost-effective IT service provisioning over the network. To safely and effectively deploy composed services within an organi...
135
click to vote
JCP
2008
15 years 1 months ago
2008
Trusted computing platforms have been proposed as a promising approach to enhance the security of general-purpose computing systems. Direct Anonymous Attestation(DAA) is a scheme t...
130
click to vote
ICWL
2005
Springer
15 years 7 months ago
2005
Springer
: Discovering the relationship between behavior and personality of learner in the web-based learning environment is a key to guide learners in the learning process. This paper prop...