Sciweavers

3255 search results - page 81 / 651
» Combination of Abstractions in the ASTR
Sort
View
JIRS
2000
121views more  JIRS 2000»
13 years 8 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
13 years 3 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»
13 years 8 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»
13 years 9 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
14 years 2 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