Sciweavers

4609 search results - page 331 / 922
» Automatic Generation of Sigma-Protocols
Sort
View
SEMWEB
2010
Springer
15 years 4 months ago
Auto-experimentation of KDD Workflows Based on Ontological Planning
One of the problems of Knowledge Discovery in Databases (KDD) is the lack of user support for solving KDD problems. Current Data Mining (DM) systems enable the user to manually des...
Floarea Serban
FM
2009
Springer
189views Formal Methods» more  FM 2009»
15 years 4 months ago
Model-Based GUI Testing Using Uppaal at Novo Nordisk
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstr...
ITS
2004
Springer
127views Multimedia» more  ITS 2004»
16 years 1 days ago
Can Automated Questions Scaffold Children's Reading Comprehension?
Abstract. Can automatically generated questions scaffold reading comprehension? We automated three kinds of multiple-choice questions in children’s assisted reading:
Joseph E. Beck, Jack Mostow, Juliet Bey
IMR
2000
Springer
15 years 10 months ago
Quadrilateral Meshing with Anisotropy and Directionality Control via Close Packing of Rectangular Cells
A new technique for automatically generating anisotropic quadrilateral meshes is presented in this paper. The inputs are (1) a 2D geometric domain and (2) a desired anisotropy
Naveen Viswanath, Kenji Shimada, Takayuki Itoh
EACL
2006
ACL Anthology
15 years 8 months ago
Semantic Role Labeling for Coreference Resolution
Extending a machine learning based coreference resolution system with a feature capturing automatically generated information about semantic roles improves its performance.
Simone Paolo Ponzetto, Michael Strube