Sciweavers

55 search results - page 4 / 11
» An overview of the implementation of Level Set methods, incl...
Sort
View
BMCBI
2006
123views more  BMCBI 2006»
13 years 7 months ago
How to decide? Different methods of calculating gene expression from short oligonucleotide array data will give different result
Background: Short oligonucleotide arrays for transcript profiling have been available for several years. Generally, raw data from these arrays are analysed with the aid of the Mic...
Frank F. Millenaar, John Okyere, Sean T. May, Mart...
ICLP
2005
Springer
14 years 29 days ago
Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
Hans Tompits, Stefan Woltran
AAAI
2006
13 years 8 months ago
Heuristic Search and Information Visualization Methods for School Redistricting
We describe an application of AI search and information visualization techniques to the problem of school redistricting, in which students are assigned to home schools within a co...
Marie desJardins, Blazej Bulka, Ryan Carr, Andrew ...
EOR
2007
96views more  EOR 2007»
13 years 7 months ago
A balancing method and genetic algorithm for disassembly line balancing
Disassembly activities take place in various recovery operations including remanufacturing, recycling and disposal. The disassembly line is the best choice for automated disassemb...
Seamus M. McGovern, Surendra M. Gupta
TKDE
1998
139views more  TKDE 1998»
13 years 7 months ago
Distributed Optimistic Concurrency Control Methods for High-Performance Transaction Processing
—There is an ever-increasing demand for more complex transactions and higher throughputs in transaction processing systems leading to higher degrees of transaction concurrency an...
Alexander Thomasian