653 search results - page 12 / 131 » Enhancing Commitment Machines |
DATE
2006
IEEE
13 years 11 months ago
2006
IEEE
We introduce collapsed flushing, a new flushing-based refinement map for automatically verifying safety and liveness properties of term-level pipelined machine models. We also pre...
NLPRS
2001
Springer
14 years 4 days ago
2001
Springer
We demonstrate a web-based machine translation environment that can be improved in terms of accuracy and scope through online collaboration by users. The environment leverages the...
PKDD
2009
Springer
14 years 2 months ago
2009
Springer
This paper aims at presenting how natural language processing and machine learning techniques can help the internet surfer to get a better overview of the pages he is reading. The ...
MVA
2007
13 years 9 months ago
2007
Image contrast enhancement plays an important role in many machine vision applications. In this study, we propose a new method for edge enhancement based on analysis on embedded s...
ICALT
2008
IEEE
14 years 2 months ago
2008
IEEE
We describe Glosser, a system that supports students in writing essays by 1) scaffolding their reflection with trigger questions, and 2) using text mining techniques to provide co...