419 search results - page 60 / 84 » Using Matrix Decompositions in Formal Concept Analysis |
CAISE
2004
Springer
14 years 1 months ago
2004
Springer
Business process modeling and design, which has attracted much attention in recent years, emphasizes mainly graphical representation, usually without an underlying theory. The lack...
ICRA
2002
IEEE
14 years 19 days ago
2002
IEEE
:This paper presents a trajectory planning algorithm for mobile robots which may be subject to kinodynamic constraints. Using computational methods from noncommutative harmonic ana...
WSC
2007
13 years 10 months ago
2007
This paper describes the motivations, methods, and solution concepts for the use of ontologies for simulation model integration. Ontological analysis has been shown to be an effec...
MMB
2010
Springer
13 years 9 months ago
2010
Springer
We present a tool for the analysis of fault-tolerance in packet-switched communication networks. Network elements like links or routers can fail or unexpected traffic surges may o...
PE
2011
Springer
13 years 2 months ago
2011
Springer
High-level semi-Markov modelling paradigms such as semi-Markov stochastic Petri nets and process algebras are used to capture realistic performance models of computer and communic...