Sciweavers

21 search results - page 3 / 5
» Choosing a Testing Method to Deliver Reliability
Sort
View
NAACL
2007
13 years 9 months ago
An Information Retrieval Approach to Sense Ranking
In word sense disambiguation, choosing the most frequent sense for an ambiguous word is a powerful heuristic. However, its usefulness is restricted by the availability of sense-an...
Mirella Lapata, Frank Keller
FM
2005
Springer
156views Formal Methods» more  FM 2005»
14 years 1 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...
IJON
2010
100views more  IJON 2010»
13 years 6 months ago
Automatic detection of onset and cessation of tree stem radius increase using dendrometer data
Dendrometers are devices, which measure continuously the stem radius of a tree. In this work, we studied the use of cumulative sum (CUSUM) charts for automatically and, thus, objec...
Mikko Korpela, Harri Mäkinen, Pekka Nöjd...
ECBS
2009
IEEE
164views Hardware» more  ECBS 2009»
14 years 2 months ago
Semantically Enhanced Containers for Concurrent Real-Time Systems
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
Damian Dechev, Peter Pirkelbauer, Nicolas Rouquett...
ICPR
2004
IEEE
14 years 8 months ago
Face Detection Using Discriminating Feature Analysis and Support Vector Machine in Video
This paper presents a novel face detection method in video by using Discriminating Feature Analysis (DFA) and Support Vector Machine (SVM). Our method first incorporates temporal ...
Chengjun Liu, Peichung Shih