1597 search results - page 210 / 320 » A Design Method for Object-Oriented Programming |
163
click to vote
TMI
2010
15 years 1 months ago
2010
—Medical image registration is an important task in medical image processing. It refers to the process of aligning data sets, possibly from different modalities (e.g., magnetic r...
218
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...
128
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
108
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Molecular biologists need sophisticated analytical tools which often demand extensive computational resources. While finding, installing, and using these tools can be ...
227
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...