Sciweavers

411 search results - page 76 / 83
» Using context to improve protein domain identification
Sort
View
AIEDU
2008
112views more  AIEDU 2008»
14 years 8 months ago
Be Brief, And They Shall Learn: Generating Concise Language Feedback for a Computer Tutor
To investigate whether more concise Natural Language feedback improves learning, we developed two Natural Language generators (DIAG-NLP1 and DIAG-NLP2), to provide feedback in an I...
Barbara Di Eugenio, Davide Fossati, Susan M. Halle...
TACAS
2009
Springer
136views Algorithms» more  TACAS 2009»
15 years 4 months ago
Path Feasibility Analysis for String-Manipulating Programs
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
Nikolaj Bjørner, Nikolai Tillmann, Andrei V...
LCPC
2004
Springer
15 years 3 months ago
Branch Strategies to Optimize Decision Trees for Wide-Issue Architectures
Abstract. Branch predictors are associated with critical design issues for nowadays instruction greedy processors. We study two important domains where the optimization of decision...
Patrick Carribault, Christophe Lemuet, Jean-Thomas...
PERSUASIVE
2010
Springer
14 years 8 months ago
Personality and Persuasive Technology: An Exploratory Study on Health-Promoting Mobile Applications
Though a variety of persuasive health applications have been designed with a preventive standpoint toward diseases in mind, many have been designed largely for a general audience. ...
Sajanee Halko, Julie A. Kientz
RAS
2010
117views more  RAS 2010»
14 years 8 months ago
Extending BDI plan selection to incorporate learning from experience
An important drawback to the popular Belief, Desire, and Intentions (BDI) paradigm is that such systems include no element of learning from experience. We describe a novel BDI exe...
Dhirendra Singh, Sebastian Sardiña, Lin Pad...