Sciweavers

3384 search results - page 480 / 677
» More Testable Properties
Sort
View
LREC
2010
185views Education» more  LREC 2010»
14 years 8 hour ago
How Certain are Clinical Assessments? Annotating Swedish Clinical Text for (Un)certainties, Speculations and Negations
Clinical texts contain a large amount of information. Some of this information is embedded in contexts where e.g. a patient status is reasoned about, which may lead to a considera...
Hercules Dalianis, Sumithra Velupillai
SIROCCO
2010
14 years 6 hour ago
Algorithms for Extracting Timeliness Graphs
We consider asynchronous message-passing systems in which some links are timely and processes may crash. Each run defines a timeliness graph among correct processes: (p, q) is an e...
Carole Delporte-Gallet, Stéphane Devismes, ...
GRAPHICSINTERFACE
2008
14 years 5 hour ago
LiveSync++: enhancements of an interaction metaphor
The LiveSync interaction metaphor allows an efficient and nonintrusive integration of 2D and 3D visualizations in medical workstations. This is achieved by synchronizing the 2D sl...
Peter Kohlmann, Stefan Bruckner, Armin Kanitsar, E...
IJCAI
2007
13 years 12 months ago
A Fast Analytical Algorithm for Solving Markov Decision Processes with Real-Valued Resources
Agents often have to construct plans that obey deadlines or, more generally, resource limits for real-valued resources whose consumption can only be characterized by probability d...
Janusz Marecki, Sven Koenig, Milind Tambe
IQ
2007
13 years 12 months ago
A Model for Information Quality in the Banking Industry - The Case of the Public Banks In Brazil
: Poor Information Quality (IQ) has a significant impact on the general performance of an organization. Investments in IT have had a great impact on the banking industry in recent ...
Luís Francisco Ramos Lima, Antonio Carlos G...