4250 search results - page 201 / 850 » Understanding the Requirements on Modelling Techniques |
B
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
ECTEL
2007
Springer
14 years 4 months ago
2007
Springer
Interaction analysis within online educational contexts based on collaborative learning strategies requires a multidimensional model taking into account social, emotional and cogni...
IJCNN
2006
IEEE
14 years 4 months ago
2006
IEEE
— Recursive Neural Networks (RNNs) and Graph Neural Networks (GNNs) are two connectionist models that can directly process graphs. RNNs and GNNs exploit a similar processing fram...
IFIP13
2004
13 years 11 months ago
2004
: This paper describes a method aiming to support the design of interactive-safety critical systems. The method proposes an original integration of approaches usually considered se...
ICWE
2009
Springer
14 years 3 months ago
2009
Springer
With the advent of the Web, search has become the prominent paradigm for information seeking, not only across the online space but also within enterprises. Search engine functiona...