5409 search results - page 566 / 1082 » Basic Observables for Processes |
207
Voted
SAT
2010
Springer
15 years 5 months ago
2010
Springer
Algorithms based on local search are popular for solving many optimization problems including the maximum satisfiability problem (MAXSAT). With regard to MAXSAT, the state of the ...
187
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
Reducing circuit's peak current plays an important role in circuit reliability in deep sub-micron era. For sequential circuits, it is observed that the peak current has a str...
210
Voted
BMCBI
2010
15 years 4 months ago
2010
Background: One of the most commonly performed tasks when analysing high throughput gene expression data is to use clustering methods to classify the data into groups. There are a...
216
Voted
BMCBI
2011
15 years 1 months ago
2011
Background: Caenorhabditis elegans gene-based phenotype information dates back to the 1970’s, beginning with Sydney Brenner and the characterization of behavioral and morphologi...
222
click to vote
RE
2010
Springer
15 years 1 months ago
2010
Springer
Trace links between requirements and code are essential for many software development and maintenance activities. Despite significant advances in traceability research, creating li...