Sciweavers

1760 search results - page 92 / 352
» A System to Mark Programs Automatically
Sort
View
IEAAIE
2010
Springer
14 years 9 months ago
Web Usage Mining for Improving Students Performance in Learning Management Systems
An innovative technique based on multi-objective grammar guided genetic programming (MOG3P-MI) is proposed to detect the most relevant activities that a student needs to pass a cou...
Amelia Zafra, Sebastián Ventura
TPHOL
2009
IEEE
15 years 6 months ago
VCC: A Practical System for Verifying Concurrent C
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, ...
NLPRS
2001
Springer
15 years 4 months ago
A New Prosodic Phrasing Model for Chinese TTS Systems
This paper proposes a new prosodic phrasing model for Chinese text-tospeech systems. First, in contrast to the commonly used CART techniques, we propose a new inductive learning a...
Weijun Chen, Fuzong Lin, Jianmin Li, Bo Zhang
BMCBI
2005
153views more  BMCBI 2005»
14 years 11 months ago
Learning Statistical Models for Annotating Proteins with Function Information using Biomedical Text
Background: The BioCreative text mining evaluation investigated the application of text mining methods to the task of automatically extracting information from text in biomedical ...
Soumya Ray, Mark Craven
DEBU
2008
100views more  DEBU 2008»
14 years 12 months ago
WAVE: Automatic Verification of Data-Driven Web Services
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
Alin Deutsch, Victor Vianu