Sciweavers

7960 search results - page 1299 / 1592
» Systems for Knowledge and Beliefs
Sort
View
IUI
2009
ACM
16 years 3 months ago
Using salience to segment desktop activity into projects
Knowledge workers must manage large numbers of simultaneous, ongoing projects that collectively involve huge numbers of resources (documents, emails, web pages, calendar items, et...
Daniel Lowd, Nicholas Kushmerick
IUI
2009
ACM
16 years 3 months ago
Rich interfaces for reading news on the web
Using content-specific models to guide information retrieval and extraction can provide richer interfaces to endusers for both understanding the context of news events and navigat...
Earl J. Wagner, Jiahui Liu, Larry Birnbaum, Kennet...
CVPR
2010
IEEE
16 years 2 months ago
Breaking the interactive bottleneck in multi-class classification with active selection and binary feedback
Multi-class classification schemes typically require human input in the form of precise category names or numbers for each example to be annotated – providing this can be impra...
Ajay Joshi, Fatih Porikli, Nikolaos Papanikolopoul...
TACAS
2010
Springer
191views Algorithms» more  TACAS 2010»
16 years 1 months ago
Blocked Clause Elimination
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
Matti Järvisalo, Armin Biere, Marijn Heule
HICSS
2010
IEEE
210views Biometrics» more  HICSS 2010»
16 years 1 months ago
The Effects of Linguistic Features and Evaluation Perspective on Perceived Difficulty of Medical Text
Millions of laypersons need more medical information than they are customarily provided during their doctor’s visit. Health websites can help fill this knowledge gap, but the te...
Gondy Leroy, Stephen Helmreich, James R. Cowie
« Prev « First page 1299 / 1592 Last » Next »