412 search results - page 24 / 83 » RATSY - A New Requirements Analysis Tool with Synthesis |
104
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: Microarray experiments have become very popular in life science research. However, if such experiments are only considered independently, the possibilities for analysi...
MICCAI
2000
Springer
15 years 3 months ago
2000
Springer
We describe a new magnetic resonance (MR) image analysis tool that produces cortical surface representations with spherical topology from MR images of the human brain. The tool pr...
113
click to vote
CHARME
1995
Springer
15 years 3 months ago
1995
Springer
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
124
click to vote
KDD
2006
ACM
16 years 1 days ago
2006
ACM
Along with the blossom of open source projects comes the convenience for software plagiarism. A company, if less self-disciplined, may be tempted to plagiarize some open source pr...
EOR
2007
14 years 11 months ago
2007
This paper models supply chain (SC) uncertainties by fuzzy sets and develops a possibilistic SC configuration model for new products with unreliable or unavailable SC statistical...