Sciweavers

422 search results - page 23 / 85
» On combinations of CMA equalizers
Sort
View
65
Voted
ENTCS
2006
124views more  ENTCS 2006»
14 years 9 months ago
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals
Abstract. Nelson and Oppen provided a methodology for modularly combining decision procedures for individual theories to construct a decision procedure for a combination of theorie...
Shuvendu K. Lahiri, Madanlal Musuvathi
ICDAR
2009
IEEE
15 years 4 months ago
Biometric Person Authentication Method Using Camera-Based Online Signature Acquisition
A camera-based online signature verification system is proposed in this paper. One web camera is used for data acquisition, and a sequential Monte Carlo method is used for tracki...
Daigo Muramatsu, Kumiko Yasuda, Takashi Matsumoto
FROCOS
2007
Springer
15 years 3 months ago
Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL
We offer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theorie...
Sava Krstic, Amit Goel
WILF
2007
Springer
108views Fuzzy Logic» more  WILF 2007»
15 years 3 months ago
Recognizing Humor Without Recognizing Meaning
Abstract. We present a machine learning approach for classifying sentences as one-liner jokes or normal sentences. We use no deep analysis of the meaning to try to see if it is hum...
Jonas Sjöbergh, Kenji Araki
88
Voted
VTC
2006
IEEE
133views Communications» more  VTC 2006»
15 years 3 months ago
Relay Communication with Delay Diversity for Future Communication Systems
— In this paper we consider relay communication as a way of increasing the diversity gain in fading wireless environments. The idea is to combine relay communication with delay d...
S. Ben Slimane, Afif Osseiran