Sciweavers

90 search results - page 13 / 18
» Source Selection for Analogical Reasoning: An Empirical Appr...
Sort
View
ARTMED
1999
56views more  ARTMED 1999»
13 years 7 months ago
Refining instructional text generation after evaluation
In this paper, we describe how user-adapted explanations about drug prescriptions can be generated from already existing data sources. We start by illustrating the two-step approa...
Fiorella de Rosis, Floriana Grasso, Dianne C. Berr...
MBEC
2011
117views more  MBEC 2011»
12 years 10 months ago
Face activated neurodynamic cortical networks
Previous neuroimaging studies have shown that complex visual stimuli, such as faces, activate multiple brain regions, yet little is known on the dynamics and complexity of the acti...
Ana Susac, Risto J. Ilmoniemi, Douglas Ranken, Sel...
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
12 years 3 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
AAI
2006
215views more  AAI 2006»
13 years 8 months ago
Extensive Evaluation of Efficient NLP-Driven Text Classification
Extensive experimental evidence is required to study the impact of text categorization approaches on real data and to assess the performance within operational scenarios. In this ...
Roberto Basili, Alessandro Moschitti, Maria Teresa...
ATAL
2008
Springer
13 years 10 months ago
Flexible service provisioning with advance agreements
In this paper, we develop a novel algorithm that allows service consumer agents to automatically select and provision service provider agents for their workflows in highly dynamic...
Sebastian Stein, Nicholas R. Jennings, Terry R. Pa...