Sciweavers

JAMIA
2010
79views more  JAMIA 2010»
13 years 7 months ago
A systematic literature review of automated clinical coding and classification systems
Clinical coding and classification processes transform natural language descriptions in clinical text into data that can subsequently be used for clinical care, research, and othe...
Mary H. Stanfill, Margaret Williams, Susan H. Fent...
ICONIP
2009
13 years 10 months ago
Automated Log Analysis of Infected Windows OS Using Mechanized Reasoning
Malware (Malicious Software) of Windows OS has become more sophisticated. To take some countermeasures for recent infection, more intelligent and automated system log analysis is n...
Ruo Ando
DLOG
2009
13 years 10 months ago
Testing Provers on a Grid - Framework Description
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
Carlos Areces, Daniel Gorín, Alejandra Lore...
LPAR
2010
Springer
13 years 10 months ago
Automated Proof Compression by Invention of New Definitions
State-of-the-art automated theorem provers (ATPs) are today able to solve relatively complicated mathematical problems. But as ATPs become stronger and more used by mathematicians...
Jirí Vyskocil, David Stanovský, Jose...
PROCEDIA
2010
111views more  PROCEDIA 2010»
13 years 10 months ago
Beyond biometrics
Throughout the last 40 years, the essence of automated identification of users has remained the same. In this article, a new class of biometrics is proposed that is founded on pr...
Egon L. van den Broek
SIGECOM
2000
ACM
118views ECommerce» more  SIGECOM 2000»
14 years 6 days ago
Interactions of automated pricing algorithms: an experimental investigation
The advent of electronic commerce enables retailers to set prices via automated algorithms. This paper employs the method of experimental economics to examine human behavior in en...
Cary A. Deck, Bart J. Wilson
BMCBI
2008
84views more  BMCBI 2008»
14 years 16 days ago
The comparative analysis of statistics, based on the likelihood ratio criterion, in the automated annotation problem
Background: This paper discusses the problem of automated annotation. It is a continuation of the previous work on the A4-algorithm (Adaptive algorithm of automated annotation) de...
Andrey M. Leontovich, Konstantin Y. Tokmachev, Han...
LREC
2010
154views Education» more  LREC 2010»
14 years 1 months ago
A Database of Age and Gender Annotated Telephone Speech
This article describes an age-annotated database of German telephone speech. All in all 47 hours of prompted and free text was recorded, uttered by 954 paid participants in a styl...
Felix Burkhardt, Martin Eckert, Wiebke Johannsen, ...
ATAL
2008
Springer
14 years 2 months ago
Decentralized coordination of automated guided vehicles
This paper approaches the issue of coordination of highly autonomous Automated Guided Vehicles (AGVs) working on an automated factory. These vehicles are used for goods delivery t...
David Herrero Pérez, Humberto Martín...
AIRWEB
2008
Springer
14 years 2 months ago
A large-scale study of automated web search traffic
As web search providers seek to improve both relevance and response times, they are challenged by the ever-increasing tax of automated search query traffic. Third party systems in...
Gregory Buehrer, Jack W. Stokes, Kumar Chellapilla