2502 search results - page 136 / 501 » Using probabilistic model checking in systems biology |
ANLP
2000
13 years 10 months ago
2000
A major obstacle to the construction of a probabilistic translation model is the lack of large parallel corpora. In this paper we first describe a parallel text mining system that...
DATESO
2010
13 years 7 months ago
2010
Abstract. Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as wel...
CCS
2008
ACM
13 years 11 months ago
2008
ACM
Role Engineering is a security-critical task for systems using role-based access control (RBAC). Different role-mining approaches have been proposed that attempt to automatically ...
IROS
2008
IEEE
14 years 3 months ago
2008
IEEE
— This paper presents a method to recognize and generate sequential motions for object manipulation such as placing one object on another or rotating it. Motions are learned usin...
TYPES
1993
Springer
14 years 1 months ago
1993
Springer
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...