6020 search results - page 157 / 1204 » A New Approach to Model Counting |
134
click to vote
CAD
2007
Springer
15 years 4 months ago
2007
Springer
The recent advancement of solid freeform fabrication, design techniques and fundamental understanding of material properties in functionally graded materials has made it possible ...
115
click to vote
CIB
2005
15 years 4 months ago
2005
Unlike the data approached in traditional data mining activities, software data are featured with partial-repeatability or parepeatics, which is an invariant property that can neit...
132
click to vote
SCALESPACE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper we provide a method to find global minimizers of certain non-convex 2-phase image segmentation problems. This is achieved by formulating a convex minimizat...
125
click to vote
AICT
2006
IEEE
15 years 10 months ago
2006
IEEE
A software application has strong relationships with the business processes it supports. In the analysis phase those parts of the processes in which the software system is applied...
155
click to vote
SIMUTOOLS
2008
15 years 5 months ago
2008
Evaluating the performance of a cooperative relaying protocol requires an implementation for simulators and/or software-defined radios (SDRs) with an appropriate model for error d...