Sciweavers

1722 search results - page 205 / 345
» Generating Tests from Counterexamples
Sort
View
HCI
2007
13 years 10 months ago
A Requirement Engineering Approach to User Centered Design
: This paper describes an approach to integrate UCD activities into the existing Software Engineering practices and processes. The aim is to use the outcomes of UCD activities thro...
Dirk Zimmermann, Lennart Grötzbach
ICMLA
2008
13 years 10 months ago
A Weighted Distance Measure for Calculating the Similarity of Sparsely Distributed Trajectories
This article presents a method for the calculating similarity of two trajectories. The method is especially designed for a situation where the points of the trajectories are distr...
Pekka Siirtola, Perttu Laurinen, Juha Röning
ACL
2003
13 years 10 months ago
Feedback Cleaning of Machine Translation Rules Using Automatic Evaluation
When rules of transfer-based machine translation (MT) are automatically acquired from bilingual corpora, incorrect/redundant rules are generated due to acquisition errors or trans...
Kenji Imamura, Eiichiro Sumita, Yuji Matsumoto
WSC
2004
13 years 10 months ago
The Hats Simulator
The Hats Simulator is designed to be a lightweight proxy for many intelligence analysis problems, and thus a test environment for analysts' tools. It is a virtual world in wh...
Paul R. Cohen, Clayton T. Morrison
NAACL
2003
13 years 10 months ago
Semantic Language Models for Topic Detection and Tracking
In this work, we present a new semantic language modeling approach to model news stories in the Topic Detection and Tracking (TDT) task. In the new approach, we build a unigram la...
Ramesh Nallapati