Sciweavers

6258 search results - page 751 / 1252
» Applied Text Generation
Sort
View
SAT
2009
Springer
108views Hardware» more  SAT 2009»
16 years 1 months ago
On-the-Fly Clause Improvement
Most current propositional SAT solvers apply resolution at various stages to derive new clauses or simplify existing ones. The former happens during conflict analysis, while the l...
HyoJung Han, Fabio Somenzi
SCALESPACE
2009
Springer
16 years 1 months ago
Generic Scene Recovery Using Multiple Images
In this paper, a generative model based method for recovering both the shape and the reflectance of the surface(s) of a scene from multiple images is presented, assuming that illu...
Kuk-Jin Yoon, Emmanuel Prados, Peter F. Sturm
SFM
2009
Springer
16 years 1 months ago
Quantitative Analysis of Web Services Using SRMC
In this tutorial paper we present quantitative methods for analysing Web Services with the goal of understanding how they will perform under increased demand, or when asked to serv...
Allan Clark, Stephen Gilmore, Mirco Tribastone
CEC
2008
IEEE
16 years 1 months ago
Evolution of image filters on graphics processor units using Cartesian Genetic Programming
— Graphics processor units are fast, inexpensive parallel computing devices. Recently there has been great interest in harnessing this power for various types of scientific comp...
Simon Harding
CIBCB
2008
IEEE
16 years 1 months ago
Classification of mouse fRNA genes using evolved neural networks
Functional RNAs (fRNAs) play a key role in gene regulation, at both the transcriptional and translational levels. Identification of fRNA genes can be difficult, given that some cla...
Mars Cheung, Gary B. Fogel