2038 search results - page 110 / 408 » Improvements to the Psi-SSA representation |
136
click to vote
SIGIR
2008
ACM
15 years 1 months ago
2008
ACM
Most traditional text clustering methods are based on "bag of words" (BOW) representation based on frequency statistics in a set of documents. BOW, however, ignores the ...
115
click to vote
TSP
2010
14 years 8 months ago
2010
The dual-tree complex wavelet transform (DT- WT) is known to exhibit better shift-invariance than the conventional discrete wavelet transform. We propose an amplitude-phase represe...
101
click to vote
FPGA
2007
ACM
15 years 7 months ago
2007
ACM
Boolean matching (BM) is a widely used technique in FPGA resynthesis and architecture evaluation. In this paper we present several improvements to the recently proposed SAT-based ...
119
click to vote
ICAIL
2003
ACM
15 years 6 months ago
2003
ACM
Problems with legal quality will not only increase effort and costs of the law enforcement organisations, but also undermines the regulating power of the legislator. Unintended us...
109
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...