14298 search results - page 417 / 2860 » Dynamic Languages and Applications |
175
Voted
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
15 years 5 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
196
click to vote
EMNLP
2009
15 years 4 months ago
2009
Many statistical translation models can be regarded as weighted logical deduction. Under this paradigm, we use weights from the expectation semiring (Eisner, 2002), to compute fir...
167
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We address the task of separation of music and effects from dialogs in film or television soundtracks. This is of interest for film studios wanting to release films in new, pre...
164
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper deals with a control approach dedicated to stable limit cycle generation for underactuated mechanical systems. The proposed approach is based on partial nonlinear fe...
144
click to vote
JCIT
2008
15 years 6 months ago
2008
In this paper we deal with the Landau-LifshitzGilbert equation which describes dynamics of ferromagnetism. Based on the strong nonlinearities a stabilised discretisation method is...