7167 search results - page 122 / 1434 » A Technique for Invariant Generation |
147
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
Abstract— In this paper, we introduce a novel preimage computation technique that directly computes the circuit cofactors without an explicit search for any satisfiable solution...
157
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
In this paper we introduce the idea of using Computer Vision techniques for improving and enhancing watermarking capabilities. Specifically, we incorporate Geometric Hashing techn...
155
click to vote
CISS
2007
IEEE
16 years 20 days ago
2007
IEEE
— We propose an expectation-maximization (EM) technique for locating multiple transmitters based on power levels observed by a set of arbitrarily-placed receivers. Multiple trans...
155
click to vote
CAISE
2001
Springer
15 years 10 months ago
2001
Springer
Reactive systems are systems whose purpose is to maintain a certain desirable state of affairs in their environment, and include information systems, groupware, workflow systems,...
156
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
An effort to formalize the process of software pipelining loops with conditions is presented in this paper. A formal framework for scheduling such loops, based on representing set...