652 search results - page 51 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
101
Voted
FORTE
2009
14 years 7 months ago
2009
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
CICLING
2008
Springer
15 years 2 days ago
2008
Springer
Nowadays there exist several kinds of question answering systems. According to recent evaluation results, most of these systems are complementary (i.e., each one is better than the...
ER
2009
Springer
14 years 7 months ago
2009
Springer
: Conceptual modelling is a widely applied practice and has led to a large body of knowledge on constructs that might be used for modelling and on methods that might be useful for ...
101
click to vote
AAAI
2007
15 years 12 days ago
2007
Our work links Chinese calligraphy to computer science through an integrated intelligence approach. We first extract strokes of existent calligraphy using a semi-automatic, twoph...
TIFS
2008
14 years 10 months ago
2008
Combination functions typically used in biometric identification systems consider as input parameters only those matching scores which are related to a single person in order to de...