Sciweavers

85 search results - page 13 / 17
» A change propagating model transformation Language
Sort
View
EMNLP
2010
13 years 5 months ago
A Multi-Pass Sieve for Coreference Resolution
Most coreference resolution models determine if two mentions are coreferent using a single function over a set of constraints or features. This approach can lead to incorrect deci...
Karthik Raghunathan, Heeyoung Lee, Sudarshan Ranga...
UML
2005
Springer
14 years 27 days ago
Refactoring OCL Annotated UML Class Diagrams
Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current cla...
Slavisa Markovic, Thomas Baar
TIME
2000
IEEE
13 years 11 months ago
Towards a Theory of Movie Database Queries
We present a data model for movies and movie databases. A movie is considered to be a 2-dimensional semialgebraic figure that can change in time. We give a number of computabilit...
Bart Kuijpers, Jan Paredaens, Dirk Van Gucht
DATE
2008
IEEE
161views Hardware» more  DATE 2008»
14 years 1 months ago
Spatial Correlation Extraction via Random Field Simulation and Production Chip Performance Regression
Statistical timing analysis needs a priori knowledge of process variations. Lack of such a priori knowledge of process variations prevents accurate statistical timing analysis, fo...
Bao Liu
FMICS
2008
Springer
13 years 9 months ago
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
Virginia Papailiopoulou, Laya Madani, Lydie du Bou...