Sciweavers

191 search results - page 7 / 39
» Machine Reading
Sort
View
CORR
2008
Springer
107views Education» more  CORR 2008»
13 years 7 months ago
On Termination for Faulty Channel Machines
A channel machine consists of a finite controller together with several fifo channels; the controller can read messages from the head of a channel and write messages to the tail of...
Patricia Bouyer, Nicolas Markey, Joël Ouaknin...
JETAI
2010
56views more  JETAI 2010»
13 years 6 months ago
Warning: statistical benchmarking is addictive. Kicking the habit in machine learning
Algorithm performance evaluation is so entrenched in the Machine Learning community that one could call it an addiction. Like most addictions, it is harmful and very difficult to ...
Chris Drummond, Nathalie Japkowicz
CAV
2010
Springer
153views Hardware» more  CAV 2010»
13 years 11 months ago
There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code
This paper discusses the obstacles that stand in the way of doing a good job of machine-code analysis. Compared with analysis of source code, the challenge is to drop all assumptio...
Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gog...
ACL
2012
11 years 10 months ago
Combining Coherence Models and Machine Translation Evaluation Metrics for Summarization Evaluation
An ideal summarization system should produce summaries that have high content coverage and linguistic quality. Many state-ofthe-art summarization systems focus on content coverage...
Ziheng Lin, Chang Liu, Hwee Tou Ng, Min-Yen Kan
ECMDAFA
2007
Springer
156views Hardware» more  ECMDAFA 2007»
13 years 11 months ago
Human Comprehensible and Machine Processable Specifications of Operational Semantics
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
Markus Scheidgen, Joachim Fischer