Sciweavers

3718 search results - page 188 / 744
» IMPS: System Description
Sort
View
SCL
2008
150views more  SCL 2008»
15 years 6 months ago
Interconnection of Kronecker canonical form and special coordinate basis of multivariable linear systems
This paper establishes a straightforward interconnection between the Kronecker canonical form and the special coordinate basis of linear systems. Such an interconnection yields an...
Ben M. Chen, Xinmin Liu, Zongli Lin
DLOG
2003
15 years 8 months ago
Implementing Matching in ALE--First Results
Matching problems in Description Logics are theoretically well understood, with a variety of algorithms available for different DLs. Nevertheless, still no implementation of a ge...
Sebastian Brandt
TRECVID
2007
15 years 7 months ago
Etter Solutions Research Group TRECVID 2007
Etter Solutions Research Group participated in the TRECVID conference for the first time in 2007. We submitted five runs in the area of fully automatic search. Fully Automatic Sea...
David Etter
207
Voted
DSN
2000
IEEE
15 years 11 months ago
DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems
Multiple-Phased Systems, whose operational life can be partitioned in a set of disjoint periods, called “phases”, include several classes of systems such as Phased Mission Sys...
Andrea Bondavalli, Ivan Mura, Silvano Chiaradonna,...
AMAST
2000
Springer
15 years 11 months ago
Step by Step to Histories
The behavior of reactive systems is typically speci ed by state machines. This results in an operational description of how a system its output. An alternative and more abstract ap...
Max Breitling, Jan Philipps