4127 search results - page 496 / 826 » Evaluation methods for topic models |
213
click to vote
FASE
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
159
click to vote
ASWEC
2000
IEEE
15 years 11 months ago
2000
IEEE
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
221
click to vote
ISVC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We have developed a new semi-automated method for segmenting images of biological cells seeded at low density on tissue culture substrates, which we use to improve the ge...
170
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
In [10] we presented a new velocity estimation algorithm, using orientation tensors and parametric motion models to provide both fast and accurate results. One of the tradeoffs be...
164
Voted
IPCCC
2006
IEEE
16 years 23 days ago
2006
IEEE
We present an approach to the question of evaluating worm defenses against future, yet unseen and possibly defense-aware worm behavior. Our scheme employs model checking to produc...