7886 search results - page 56 / 1578 » An evaluation of bipartitioning techniques |
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper, we show how to integrate SAT-based techniques into the task of system synthesis by regarding the the problems: (i) feasibility check and (ii) evaluation of quality....
ICSM
2007
IEEE
14 years 3 months ago
2007
IEEE
Because of software’s increasing dynamism and the heterogeneity of execution environments, the results of in-house testing and maintenance are often not representative of the wa...
LREC
2008
13 years 10 months ago
2008
The influence of English as a global language continues to grow to an extent that its words and expressions permeate the original forms of other languages. This paper evaluates a ...
NIPS
2001
13 years 10 months ago
2001
We propose randomized techniques for speeding up Kernel Principal Component Analysis on three levels: sampling and quantization of the Gram matrix in training, randomized rounding...
MICCAI
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. This paper reports an experimental evaluation of the following three different MRI-compatible actuators: a Shinsei ultrasonic motor, a Nanomotion ultrasonic motor and a p...