Sciweavers

1039 search results - page 28 / 208
» The Def-inite Approach to Dependency Analysis
Sort
View
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
13 years 6 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
LREC
2008
159views Education» more  LREC 2008»
13 years 10 months ago
Evaluation of Context-Dependent Phrasal Translation Lexicons for Statistical Machine Translation
We present new direct data analysis showing that dynamically-built context-dependent phrasal translation lexicons are more useful resources for phrase-based statistical machine tr...
Marine Carpuat, Dekai Wu
BMCBI
2007
99views more  BMCBI 2007»
13 years 8 months ago
Identifying allosteric fluctuation transitions between different protein conformational states as applied to Cyclin Dependent Ki
Background: The mechanisms underlying protein function and associated conformational change are dominated by a series of local entropy fluctuations affecting the global structure ...
Jenny Gu, Philip E. Bourne
ICFCA
2005
Springer
14 years 2 months ago
Lessons Learned in Applying Formal Concept Analysis to Reverse Engineering
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...
Gabriela Arévalo, Stéphane Ducasse, ...
APN
2006
Springer
13 years 10 months ago
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis
Abstract. We report on the results of an investigation into the integration of Petri nets and ordinary differential equations (ODEs) for the modelling and analysis of biochemical n...
David Gilbert, Monika Heiner