Sciweavers

2933 search results - page 316 / 587
» Agent-Grid Integration Language
Sort
View
169
Voted
AIED
2011
Springer
14 years 7 months 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
IJSEKE
2011
165views more  IJSEKE 2011»
14 years 7 months ago
Model Checking for Verification of Mandatory Access Control Models and Properties
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
Vincent C. Hu, D. Richard Kuhn, Tao Xie, JeeHyun H...
EMNLP
2011
14 years 3 months ago
Collaborative Ranking: A Case Study on Entity Linking
In this paper, we present a new ranking scheme, collaborative ranking (CR). In contrast to traditional non-collaborative ranking scheme which solely relies on the strengths of iso...
Zheng Chen, Heng Ji
INFORMS
1998
150views more  INFORMS 1998»
15 years 3 months ago
Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. Combinatorial problems are ubiquitous in many real world applications ...
Alexander Bockmayr, Thomas Kasper
164
Voted
JASIS
1998
172views more  JASIS 1998»
15 years 3 months ago
Speech Recognition for a Digital Video Library
The standard method for making the full content of audio and video material searchable and is to annotate it with humangenerated meta-data that describes the content in a way that...
Michael J. Witbrock, Alexander G. Hauptmann