1222 search results - page 190 / 245 » A Bayesian Approach to Model Checking Biological Systems |
130
click to vote
ICMLC
2010
Springer
15 years 1 months ago
2010
Springer
: In this paper, we propose a new approach to improve the translation quality by adding the Key-Words of a sentence to the parallel corpus. The main idea of the approach is to find...
135
click to vote
ECOOP
2006
Springer
15 years 5 months ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...
142
Voted
CISS
2008
IEEE
15 years 10 months ago
2008
IEEE
—Beyond signal processing applications, frames are also powerful tools for modeling the sensing and information processing of many biological and man-made systems that exhibit in...
122
Voted
ACSD
2006
IEEE
15 years 10 months ago
2006
IEEE
A schedule of a Petri Net (PN) represents a set of firing sequences that can be infinitely repeated within a bounded state space, regardless of the outcomes of the nondeterminis...
126
click to vote
CIA
2003
Springer
15 years 9 months ago
2003
Springer
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...