2152 search results - page 319 / 431 » On Automating the Calculus of Relations |
123
Voted
JIISIC
2007
15 years 2 months ago
2007
The MDD (Model Driven Development) initiative covers a broad spectrum of research areas such as modeling languages, definition of transformation languages among models, and constr...
123
Voted
CADE
2010
Springer
15 years 1 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
103
Voted
ICASSP
2010
IEEE
15 years 27 days ago
2010
IEEE
This paper presents methods to improve retrieval of Out-OfVocabulary (OOV) terms in a Spoken Term Detection (STD) system. We demonstrate that automated tagging of OOV regions help...
CORR
2008
Springer
15 years 24 days ago
2008
Springer
Large linguistic databases, especially databases having a global coverage such as The World Atlas of Language Structures (Haspelmath et al. 2005), The Automated Simility Judgment ...
FGCS
2006
15 years 21 days ago
2006
This work introduces a method for instrumenting applications, producing execution traces, and visualizing multiple trace instances to identify performance features. The approach p...