Sciweavers

1036 search results - page 142 / 208
» Design methods as discourse on practice
Sort
View
SAT
2009
Springer
91views Hardware» more  SAT 2009»
14 years 2 months ago
VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
Eric I. Hsu, Sheila A. McIlraith
VTC
2007
IEEE
14 years 1 months ago
MIMO Downlink Weighted Sum Rate Maximization with Power Constraints per Antenna Groups
Abstract— We consider a single-cell multiple-input multipleoutput (MIMO) downlink channel where linear transmission and reception strategy is employed. The base station (BS) tran...
Marian Codreanu, Antti Tölli, Markku J. Juntt...
HAPTICS
2006
IEEE
14 years 1 months ago
Haptic-Based Biometrics: A Feasibility Study
Biometric systems identify users based on behavioral or physiological characteristics. The advantages of such systems over traditional authentication methods such as passwords are...
Mauricio Orozco Trujillo, Yednek Asfaw, Shervin Sh...
CASC
2005
Springer
113views Mathematics» more  CASC 2005»
14 years 1 months ago
Real Solving of Bivariate Polynomial Systems
Abstract. We propose exact, complete and efficient methods for 2 problems: First, the real solving of systems of two bivariate rational polynomials of arbitrary degree. This means ...
Ioannis Z. Emiris, Elias P. Tsigaridas
ICANN
2001
Springer
14 years 4 days ago
Independent Variable Group Analysis
Humans tend to group together related properties in order to understand complex phenomena. When modeling large problems with limited representational resources, it is important to...
Krista Lagus, Esa Alhoniemi, Harri Valpola