Sciweavers

2722 search results - page 287 / 545
» Automating Language Evolution
Sort
View
AIME
2009
Springer
15 years 5 months ago
Argumentation about Treatment Efficacy
Abstract The volume and complexity of knowledge produced by medical research calls for the development of technology for automated management and analysis of such knowledge. In thi...
Nikos Gorogiannis, Anthony Hunter, Vivek Patkar, M...
FMSD
2008
110views more  FMSD 2008»
15 years 4 months ago
Automatic symbolic compositional verification by learning assumptions
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
Wonhong Nam, P. Madhusudan, Rajeev Alur
CSL
2006
Springer
15 years 4 months ago
Robust estimation, interpretation and assessment of likelihood ratios in forensic speaker recognition
In this contribution, the Bayesian framework for interpretation of evidence when applied to forensic speaker recognition is introduced. Different aspects of the use of voice as ev...
Joaquin Gonzalez-Rodriguez, Andrzej Drygajlo, Dani...
JSW
2008
105views more  JSW 2008»
15 years 4 months ago
Reasoning Principles for Negotiating Agent
Automated negotiation is an important applying field of agent theory and technology. For the current agent theoretical models have some troubles in explaining the agent's nego...
Mukun Cao, Yuqiang Feng
IJBRA
2007
114views more  IJBRA 2007»
15 years 4 months ago
Enhanced semantic access to the protein engineering literature using ontologies populated by text mining
: The biomedical literature is growing at an ever-increasing rate, which pronounces the need to support scientists with advanced, automated means of accessing knowledge. We investi...
René Witte, Thomas Kappler, Christopher J. ...