1327 search results - page 181 / 266 » Cost-Benefit Analysis of Software Development Techniques and... |
150
click to vote
MVA
2007
15 years 7 months ago
2007
In this paper, we describe a new technique for the automatic orientation of bedding in drill core from digital images. Images are planar pictures of the drill core, and we show th...
249
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
Web services technologies enable flexible and dynamic interoperation of autonomous software and information systems. A central challenge is the development of modeling techniques ...
169
click to vote
KDD
2007
ACM
16 years 6 months ago
2007
ACM
Analyzing data on-board a spacecraft as it is collected enables several advanced spacecraft capabilities, such as prioritizing observations to make the best use of limited bandwid...
179
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Several data formats have been developed for large scale biological experiments, using a variety of methodologies. Most data formats contain a mechanism for allowing e...
159
click to vote
FORTE
2004
15 years 7 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...