Sciweavers

17366 search results - page 270 / 3474
» New Revision Algorithms
Sort
View
JOLLI
2008
145views more  JOLLI 2008»
15 years 6 months ago
Temporal Languages for Epistemic Programs
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...
Joshua Sack
167
Voted
NAR
2008
122views more  NAR 2008»
15 years 6 months ago
The Rice Annotation Project Database (RAP-DB): 2008 update
The Rice Annotation Project Database (RAP-DB) was created to provide the genome sequence assembly of the International Rice Genome Sequencing Project (IRGSP), manually curated ann...
KES
2006
Springer
15 years 6 months ago
Alertness Assessment Using Data Fusion and Discrimination Ability of LVQ-Networks
To track the alertness changes of 14 subjects during a night driving simulation study traditional alertness measures such Visual Analog Sleepiness Scale, Alpha Attenuation Test (AA...
Udo Trutschel, David Sommer, Acacia Aguirre, Todd ...
CN
2010
134views more  CN 2010»
15 years 5 months ago
TCP Libra: Derivation, analysis, and comparison with other RTT-fair TCPs
— The Transmission Control Protocol (TCP), the most widely used transport protocol over the Internet, has been advertised to implement fairness between flows competing for the s...
Gustavo Marfia, Claudio E. Palazzi, Giovanni Pau, ...
ICCBR
2010
Springer
15 years 5 months ago
Applying Machine Translation Evaluation Techniques to Textual CBR
The need for automated text evaluation is common to several AI disciplines. In this work, we explore the use of Machine Translation (MT) evaluation metrics for Textual Case Based R...
Ibrahim Adeyanju, Nirmalie Wiratunga, Robert Lothi...