1433 search results - page 39 / 287 » An approach to detecting failures automatically |
156
click to vote
EPIA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. A new machine learning approach is presented for automatic detection of Mediterranean water eddies from sea surface temperature maps of the Atlantic Ocean. A pre-processi...
169
click to vote
EMNLP
2010
15 years 4 months ago
2010
In this paper we introduce the new task of social event extraction from text. We distinguish two broad types of social events depending on whether only one or both parties are awa...
131
click to vote
IJBC
2007
15 years 6 months ago
2007
f of the underlying abstract theorem avoids of referring to any results of applied algebraic topology and relies only on the Brouwer fixed point theorem. The second novelty is tha...
204
click to vote
TAOSD
2010
15 years 4 months ago
2010
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique...
216
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...