Sciweavers

3255 search results - page 81 / 651
» Combination of Abstractions in the ASTR
Sort
View
JIRS
2000
121views more  JIRS 2000»
15 years 6 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
TWC
2010
15 years 1 months ago
Link Energy Minimization in IR-UWB Based Wireless Networks
Abstract--Impulse Radio Ultra WideBand (IR-UWB) communication has proven to be an important technique for supporting high-rate, short-range, and low-power communication. In this pa...
Tianqi Wang, Wendi B. Heinzelman, Alireza Seyedi
CORR
1998
Springer
96views Education» more  CORR 1998»
15 years 6 months ago
Similarity-Based Models of Word Cooccurrence Probabilities
Abstract. In many applications of natural language processing (NLP) it is necessary to determine the likelihood of a given word combination. For example, a speech recognizer may ne...
Ido Dagan, Lillian Lee, Fernando C. N. Pereira
CAV
2010
Springer
156views Hardware» more  CAV 2010»
15 years 6 months ago
A Logical Product Approach to Zonotope Intersection
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
Khalil Ghorbal, Eric Goubault, Sylvie Putot
APLAS
2005
ACM
15 years 12 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot