Sciweavers

747 search results - page 28 / 150
» An Interactive Machine Translation System with Online Learni...
Sort
View
126
Voted
ESORICS
2002
Springer
16 years 1 months ago
Formal Security Analysis with Interacting State Machines
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
David von Oheimb, Volkmar Lotz
114
Voted
ACL
1998
15 years 3 months ago
Trainable, Scalable Summarization Using Robust NLP and Machine Learning
We describe a trainable and scalable summarization system which utilizes features derived from information retrieval, information extraction, and NLP techniques and on-line resour...
Chinatsu Aone, Mary Ellen Okurowski, James Gorlins...
83
Voted
ICALT
2005
IEEE
15 years 7 months ago
Interactivities in Music Intelligent Tutoring System
We report our work in progress in the area of music intelligent tutoring systems (MITS). We discuss the motivation behind the design of GUI that aim to support an interactive lear...
Somnuk Phon-Amnuaisuk, Keh-Siong Chee
108
Voted
IJCAI
1997
15 years 3 months ago
Combining Knowledge Acquisition and Machine Learning to Control Dynamic Systems
This paper presents an interactive method for building a controller for dynamic systems by using a combination of knowledge acquisition and machine learning techniques. The aim is...
G. M. Shiraz, Claude Sammut
129
Voted
ACL
2010
14 years 12 months ago
Tools for Multilingual Grammar-Based Translation on the Web
This is a system demo for a set of tools for translating texts between multiple languages in real time with high quality. The translation works on restricted languages, and is bas...
Aarne Ranta, Krasimir Angelov, Thomas Hallgren