Sciweavers

2374 search results - page 204 / 475
» The language of machines
Sort
View
RE
2010
Springer
13 years 3 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
CIDM
2007
IEEE
14 years 11 days ago
Identifying Anatomical Phrases in Clinical Reports by Shallow Semantic Parsing Methods
Natural Language Processing (NLP) is being applied for several information extraction tasks in the biomedical domain. The unique nature of clinical information requires the need fo...
Vijayaraghavan Bashyam, Ricky K. Taira
ECTEL
2007
Springer
14 years 10 days ago
Curriculum Model Checking: Declarative Representation and Verification of Properties
When a curriculum is proposed, it is important to verify at least three aspects: that the curriculum allows the achievement of the user's learning goals, that the curriculum i...
Matteo Baldoni, Elisa Marengo
MT
2002
107views more  MT 2002»
13 years 8 months ago
Translation with Scarce Bilingual Resources
Machine translation of human languages is a field almost as old as computers themselves. Recent approaches to this challenging problem aim at learning translation knowledge automat...
Yaser Al-Onaizan, Ulrich Germann, Ulf Hermjakob, K...
AIED
2011
Springer
13 years 19 hour ago
Workflow-Based Assessment of Student Online Activities with Topic and Dialogue Role Classification
The Pedagogical Assessment Workflow System (PAWS) is a new workflow-based pedagogical assessment framework that enables the efficient and robust integration of diverse datasets for...
Jun Ma, Jeon-Hyung Kang, Erin Shaw, Jihie Kim