Sciweavers

1110 search results - page 68 / 222
» A Test Environment for Natural Language Understanding System...
Sort
View
VL
2005
IEEE
119views Visual Languages» more  VL 2005»
14 years 3 months ago
How Well Do Professional Developers Test with Code Coverage Visualizations? An Empirical Study
Despite years of availability of testing tools, professional software developers still seem to need better support to determine the effectiveness of their tests. Without improveme...
Joseph Lawrance, Steven Clarke, Margaret M. Burnet...
FM
2009
Springer
138views Formal Methods» more  FM 2009»
14 years 4 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...
LOGCOM
2008
104views more  LOGCOM 2008»
13 years 10 months ago
Testing the Reasoning for Question Answering Validation
Question Answering (QA) is a task that deserves more collaboration between Natural Language Processing (NLP) and Knowledge Representation (KR) communities, not only to introduce r...
Anselmo Peñas, Álvaro Rodrigo, Valen...
KDD
2002
ACM
179views Data Mining» more  KDD 2002»
14 years 10 months ago
From Data To Insight: The Community Of Multimedia Agents
Multimedia Data Mining requires the ability to automatically analyze and understand the content. The Community of Multimedia Agents project (COMMA) is devoted to creating an open ...
Gang Wei, Valery A. Petrushin, Anatole Gershman
LPAR
2001
Springer
14 years 2 months ago
A Computer Environment for Writing Ordinary Mathematical Proofs
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
David McMath, Marianna Rozenfeld, Richard Sommer