488 search results - page 22 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
103
Voted
ICDAR
2003
IEEE
15 years 4 months ago
2003
IEEE
This paper proposes a new hybrid handwritten signature verification system where the on-line reference data acquired through a digitizing tablet serves as the basis for the segmen...
93
Voted
ACSD
2008
IEEE
15 years 1 months ago
2008
IEEE
We present a process algebra with conditionally distributed discrete-time delays and generally-distributed stochastic delays. The treatment allows for expansion laws for the paral...
IAT
2009
IEEE
15 years 5 months ago
2009
IEEE
—We present a security system consisting of an arbitrary number of entries, sensors and agents. The intelligent integrated system is based on user modeling, i.e. models of their ...
117
click to vote
COLING
2000
15 years 12 days ago
2000
In this paper, word sense dismnbiguation (WSD) accuracy achievable by a probabilistic classifier, using very milfimal training sets, is investigated. \Ve made the assuml)tiou that...
SIGSOFT
2007
ACM
15 years 11 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...