3071 search results - page 236 / 615 » Explanatory Design Theory |
212
click to vote
ACID
2006
15 years 8 months ago
2006
Matroid theory gives us powerful techniques for understanding combinatorial optimization problems and for designing polynomial-time algorithms. However, several natural matroid pr...
191
click to vote
CSREASAM
2006
15 years 8 months ago
2006
- In the area of network information security, it is necessary to study the security in the end-to-end communication. This paper proposes a theory of virtual network by end-to-end....
164
click to vote
FLAIRS
2003
15 years 8 months ago
2003
Automated Theorem Proving (ATP) problems may contain unnecessary axioms, either because some of the axiomatization of the theory is irrelevant to the particular theorem, or becaus...
204
click to vote
WOODPECKER
2001
15 years 8 months ago
2001
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...
169
click to vote
PICS
2000
15 years 8 months ago
2000
A method of data embedding based on the convolution of message data with a random phase carrier is presented. The theory behind this method is reviewed and it is shown that the te...