300 search results - page 29 / 60 » The Extension Theorem |
97
Voted
ANSS
2001
IEEE
15 years 2 months ago
2001
IEEE
In this paper, we employ the finite state machine (FSM) model for networks to investigate fault identification using passive testing. First, we introduce the concept of passive te...
JCT
1998
14 years 10 months ago
1998
The aim of this note is to point out some combinatorial applications of a lemma of Scarf, proved first in the context of game theory. The usefulness of the lemma in combinatorics...
81
Voted
GG
2004
Springer
15 years 4 months ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
76
Voted
SEMWEB
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...
CAD
2006
Springer
14 years 11 months ago
2006
Springer
We introduce an affine extension of the Euler tensor which encompasses all of the inertia properties of interest in a convenient linear format, and we show how it transforms under...