Sciweavers

4674 search results - page 501 / 935
» cases 2008
Sort
View
EMNLP
2008
15 years 8 months ago
Improving Interactive Machine Translation via Mouse Actions
Although Machine Translation (MT) is a very active research field which is receiving an increasing amount of attention from the research community, the results that current MT sys...
Germán Sanchis-Trilles, Daniel Ortiz-Mart&i...
FOIS
2008
15 years 8 months ago
Introducing Realist Ontology for the Representation of Adverse Events
The goal of the REMINE project is to build a high performance prediction, detection and monitoring platform for managing Risks against Patient Safety (RAPS). Part of the work invol...
Werner Ceusters, Maria Capolupo, Georges De Moor, ...
FORTE
2008
15 years 8 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
FORTE
2008
15 years 8 months ago
Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations
Abstract. Our concrete objective is to present both ordinary bisimulations and probabilistic bisimulations in a common coalgebraic framework based on multiset bisimulations. For th...
David de Frutos-Escrig, Miguel Palomino, Ignacio F...
GIL
2008
15 years 8 months ago
Adoption of Supply Chain Management in German Agrifood Networks
: Supply chain management has emerged as cross functional, cross company concept to improve coordination of entire value chains through coordinated actions of all companies. It has...
Melanie Fritz, Eva Schneemann, Gerhard Schiefer