Sciweavers

6693 search results - page 1080 / 1339
» Methods of Automatic Algorithm Generation
Sort
View
JASIS
2006
96views more  JASIS 2006»
15 years 3 months ago
Learning to classify documents according to genre
Genre or style analysis can be used to improve results achieved using standard IR techniques. A genre class is a group of documents that are written in a similar style. Genre clas...
Aidan Finn, Nicholas Kushmerick
JSAT
2006
91views more  JSAT 2006»
15 years 3 months ago
Extending Existential Quantification in Conjunctions of BDDs
Abstract. We introduce new approaches intended to speed up determining the satisfiability of a given Boolean formula expressed as a conjunction of Boolean functions. A common prac...
Sean Weaver, John V. Franco, John S. Schlipf
PAMI
2007
101views more  PAMI 2007»
15 years 2 months ago
A Thousand Words in a Scene
— This paper presents a novel approach for visual scene modeling and classification, investigating the combined use of text modeling methods and local invariant features. Our wo...
Pedro Quelhas, Florent Monay, Jean-Marc Odobez, Da...
SIGSOFT
2010
ACM
15 years 1 months ago
Scalable SMT-based verification of GPU kernel functions
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
Guodong Li, Ganesh Gopalakrishnan
GI
2009
Springer
15 years 1 months ago
Component Governance as a Key Factor for IT Business Alignment of Telecommunications Companies
Abstract: Modern telecommunications companies currently undergo remarkable structural changes to be successful in the Next-Generation markets for communications and content product...
Sebastian Reinisch, Uwe Beyer, Robert Mertens
« Prev « First page 1080 / 1339 Last » Next »