Sciweavers

1760 search results - page 230 / 352
» Program Analysis Using Weighted Pushdown Systems
Sort
View
STACS
2005
Springer
15 years 7 months ago
Sampling Sub-problems of Heterogeneous Max-cut Problems and Approximation Algorithms
Abstract Abstract. Recent work in the analysis of randomized approximation algorithms for NP-hard optimization problems has involved approximating the solution to a problem by the ...
Petros Drineas, Ravi Kannan, Michael W. Mahoney
UM
2007
Springer
15 years 8 months ago
Eliciting Motivation Knowledge from Log Files Towards Motivation Diagnosis for Adaptive Systems
Motivation is well-known for its importance in learning and its influence on cognitive processes. Adaptive systems would greatly benefit from having a user model of the learner’s...
Mihaela Cocea, Stephan Weibelzahl
ICDAR
2003
IEEE
15 years 7 months ago
Fast Lexicon-Based Word Recognition in Noisy Index Card Images
This paper describes a complete system for reading typewritten lexicon words in noisy images - in this case museum index cards. The system is conceptually simple, and straightforw...
Simon M. Lucas, Gregory Patoulas, Andy C. Downton
ICWSM
2009
15 years 2 days ago
CourseRank: A Closed-Community Social System through the Magnifying Glass
Social sites are extremely popular among users but user interactions in most sites revolve around relatively simple tasks, such as uploading resources, tagging and poking friends....
Georgia Koutrika, Benjamin Bercovitz, Filip Kalisz...
BMCBI
2008
123views more  BMCBI 2008»
15 years 2 months ago
Ori-Finder: A web-based system for finding oriCs in unannotated bacterial genomes
Background: Chromosomal replication is the central event in the bacterial cell cycle. Identification of replication origins (oriCs) is necessary for almost all newly sequenced bac...
Feng Gao, Chun-Ting Zhang