Sciweavers

5634 search results - page 933 / 1127
» About Abstract Classes
Sort
View
COMPUTER
2004
90views more  COMPUTER 2004»
15 years 5 months ago
Languages and the Computing Profession
highly abstracted. The Chinese writing system uses logographs--conventional representations of words or morphemes. Characters of the most common kind have two parts, one suggesting...
W. Neville Holmes
COMPUTER
2000
128views more  COMPUTER 2000»
15 years 5 months ago
What's Ahead for Embedded Software?
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...
Edward A. Lee
ENTCS
2000
112views more  ENTCS 2000»
15 years 5 months ago
Typed Multiset Rewriting Specifications of Security Protocols
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
Iliano Cervesato
JIRS
2000
121views more  JIRS 2000»
15 years 4 months ago
Entropy-Based Markov Chains for Multisensor Fusion
Abstract. This paper proposes an entropy based Markov chain (EMC) fusion technique and demonstrates its applications in multisensor fusion. Self-entropy and conditional entropy, wh...
Albert C. S. Chung, Helen C. Shen
FUIN
2002
107views more  FUIN 2002»
15 years 4 months ago
Towards an Ontology of Approximate Reason
Abstract. This article introduces structural aspects in an ontology of approximate reason. The basic assumption in this ontology is that approximate reason is a capability of an ag...
James F. Peters, Andrzej Skowron, Jaroslaw Stepani...