Sciweavers

9507 search results - page 355 / 1902
» Time-based language models
Sort
View
IJSEKE
2011
165views more  IJSEKE 2011»
14 years 9 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...
HICSS
2003
IEEE
100views Biometrics» more  HICSS 2003»
15 years 11 months ago
An Examination of DSLs for Concisely Representing Model Traversals and Transformations
A key advantage for the use of a Domain-Specific Language (DSL) is the leverage that can be captured from a concise representation of a programmer’s intention. This paper report...
Jeff Gray, Gabor Karsai
VL
1999
IEEE
15 years 10 months ago
Extending UML for Modeling of Multimedia Applications
An analysis of how visual modeling of structure and dynamic behavior of a multimedia application differs from modeling conventional software yields that aspects of the graphical u...
Stefan Sauer, Gregor Engels
ACL
2006
15 years 7 months ago
Distortion Models for Statistical Machine Translation
In this paper, we argue that n-gram language models are not sufficient to address word reordering required for Machine Translation. We propose a new distortion model that can be u...
Yaser Al-Onaizan, Kishore Papineni
CHI
2006
ACM
16 years 6 months ago
GUESS: a language and interface for graph exploration
As graph models are applied to more widely varying fields, researchers struggle with tools for exploring and analyzing these structures. We describe GUESS, a novel system for grap...
Eytan Adar