6167 search results - page 63 / 1234 » Can Refinement be Automated |
106
click to vote
FAC
2008
15 years 23 days ago
2008
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...
92
Voted
BMCBI
2007
15 years 22 days ago
2007
Background: Accurate prediction of intra-protein residue contacts from sequence information will allow the prediction of protein structures. Basic predictions of such specific con...
97
Voted
IJISTA
2008
15 years 22 days ago
2008
: An important field of reasearch in computer vision is the 3D analysis and reconstruction of objects and scenes. A rather new technologie in this context is the Photonic Mixer Dev...
115
Voted
ANOR
2004
15 years 17 days ago
2004
We consider the multilevel paradigm and its potential to aid the solution of combinatorial optimisation problems. The multilevel paradigm is a simple one, which at its most basic ...
107
Voted
ECMDAFA
2009
Springer
14 years 10 months ago
2009
Springer
Textual Syntax (TS) as a form of model representation has made its way to the Model-Driven Software Development community and is considered a viable alternative to graphical repres...