3007 search results - page 263 / 602 » Linear Functional Fixed-points |
126
Voted
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
Linear Pseudo-Boolean Optimization (PBO) is a widely used modeling framework in Electronic Design Automation (EDA). Due to significant advances in Boolean Satisfiability (SAT), ...
113
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Parametric watermarking is effected by modifying the linear predictor coefficients of speech. In this work, the parameter noise is analyzed when watermarked speech is subjected t...
108
click to vote
DCOSS
2005
Springer
15 years 9 months ago
2005
Springer
We consider a scenario in which anonymous, finite-state sensing devices are deployed in an ad-hoc communication network of arbitrary size and unknown topology, and explore what p...
123
click to vote
EUROPAR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we report on our experiences with hybrid parallelism in PARDISO, a high-performance sparse linear solver. We start with the OpenMP-parallel numerical factor...
119
Voted
MHCI
2004
Springer
15 years 9 months ago
2004
Springer
We describe the implementation of an interaction technique which allows users to store and retrieve information and computational functionality on different parts of their body. W...