Sciweavers

3233 search results - page 153 / 647
» Rule Modeling and Markup
Sort
View
AGTIVE
2007
Springer
16 years 1 months ago
The EMF Model Transformation Framework
We present the EMF Model Transformation framework (EMT), which supports the rule-based modification of EMF models. Model transformation rules are defined graphically and compiled...
Enrico Biermann, Karsten Ehrig, Claudia Ermel, Chr...
ACL
1993
15 years 8 months ago
Extending Kimmo's Two-Level Model of Morphology
This paper describes the problems faced while using Kimmo's two-level model to describe certain Indian languages such as Tamil and Hindi. The two-level model is shown to be d...
Anoop Sarkar
FC
2010
Springer
169views Cryptology» more  FC 2010»
15 years 10 months ago
A Formal Approach for Automated Reasoning about Off-Line and Undetectable On-Line Guessing
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
Bogdan Groza, Marius Minea
ICIP
2002
IEEE
16 years 8 months ago
Rule-based scene extraction from video
Instead of clustering video shots into scenes using low level image features, in this paper, we propose a rule-based model to extract simple dialog or action scenes. Through analy...
Lei Chen 0002, M. Tamer Özsu
ECRTS
2003
IEEE
16 years 4 days ago
Hardware-Based Solution Detecting Illegal References in Real-Time Java
The memory model used in the Real-Time Specification for Java (RTSJ) imposes strict assignment rules to or from memory areas preventing the creation of dangling pointers, and thus...
M. Teresa Higuera-Toledano