958 search results - page 133 / 192 » Model Transformation Languages and Their Implementation by B... |
EICS
2010
ACM
15 years 3 months ago
2010
ACM
Modern User Interfaces (UI) must deal with the increasing complexity of applications in terms of functionality as well as new properties as plasticity. The plasticity of a UI deno...
ICSE
2000
IEEE-ACM
15 years 5 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
117
click to vote
OTM
2005
Springer
15 years 6 months ago
2005
Springer
: The paper presents a solution of the problem of wrapping relational databases to an object-oriented business model in the data grid architecture. The main problem with this kind ...
117
click to vote
ICDAR
2007
IEEE
15 years 7 months ago
2007
IEEE
The Machine Learning and Pattern Recognition communities are facing two challenges: solving the normalization problem, and solving the deep learning problem. The normalization pro...
EACL
2009
ACL Anthology
16 years 1 months ago
2009
ACL Anthology
Many methods are available for computing semantic similarity between individual words, but certain NLP tasks require the comparison of word pairs. This paper presents a kernel-bas...