Sciweavers

1722 search results - page 205 / 345
» Generating Tests from Counterexamples
Sort
View
95
Voted
HCI
2007
15 years 2 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
118
Voted
ICMLA
2008
15 years 2 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
109
Voted
ACL
2003
15 years 2 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
76
Voted
WSC
2004
15 years 2 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
15 years 2 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