1501 search results - page 232 / 301 » New Directions on Agile Methods: A Comparative Analysis |
ASE
2002
14 years 9 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
TMI
2010
14 years 8 months ago
2010
—A new feature based nonrigid image registration method for magnetic resonance (MR) brain images is presented in this paper. Each image voxel is represented by a rotation invaria...
108
click to vote
BMCBI
2002
14 years 9 months ago
2002
Background: Recently, Almeida and Vinga offered a new approach for the representation of arbitrary discrete sequences, referred to as Universal Sequence Maps (USM), and discussed ...
127
click to vote
BMCBI
2010
14 years 5 months ago
2010
Background: A significant problem in the study of mechanisms of an organism's development is the elucidation of interrelated factors which are making an impact on the differe...
SPAA
2005
ACM
15 years 3 months ago
2005
ACM
We describe a new class of utility-maximization scheduling problem with precedence constraints, the disconnected staged scheduling problem (DSSP). DSSP is a nonpreemptive multipro...