1397 search results - page 169 / 280 » On the Need for Practical Formal Methods |
144
click to vote
CCECE
2006
IEEE
15 years 10 months ago
2006
IEEE
Software inspection is a method to detect errors in software artefacts early in the development cycle. At the end of the inspection process the inspectors need to make a decision ...
151
click to vote
FGR
2006
IEEE
15 years 10 months ago
2006
IEEE
Player’s gesture and action spotting in sports video is a key task in automatic analysis of the video material at a high level. In many sports views, the camera covers a large p...
161
click to vote
ER
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In order to analyze the behavior of moving objects, a measure for determining the similarity of trajectories needs to be defined. Although research has been conducted th...
100
click to vote
PR
2006
15 years 4 months ago
2006
The k-nearest-neighbor rule is one of the most attractive pattern classification algorithms. In practice, the choice of k is determined by the cross-validation method. In this wor...
170
Voted
INFOCOM
2011
IEEE
14 years 8 months ago
2011
IEEE
—Extracting planar graph from network topologies is of great importance for efficient protocol design in wireless ad hoc and sensor networks. Previous techniques of planar topol...