7886 search results - page 76 / 1578 » An evaluation of bipartitioning techniques |
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
In this paper we first introduce four kinds of modification of Symmetric Scoring [1] which produce likelihood ratios that do not need to be explicitly normalized, i.e. T-norm, Z...
ICIP
2002
IEEE
14 years 11 months ago
2002
IEEE
The Stage By Stage Approaching (SSA) entropy minimization approach to synthetic aperture radar (SAR) autofocus is a modern and innovative technique, which has not been compared wi...
LOCA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper we identify the common techniques and technologies that are enabling location identification in a ubiquitous computing environment. We also address the imp...
FUIN
2006
13 years 9 months ago
2006
Abstract. We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of ...
JSAT
2006
13 years 9 months ago
2006
A family of satisfiable benchmark instances in conjunctive normal form is introduced. The instances are constructed by transforming a random regular graph into a system of linear ...