174 search results - page 28 / 35 » Improving Design Patterns Finder Precision Using a Model Che... |
107
click to vote
NGITS
1999
Springer
15 years 2 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
75
Voted
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
DIn this paper 1 , we propose a shape-based variational framework to curve evolution for the segmentation of tongue contours from MRI mid-sagittal images. In particular, we first...
81
Voted
GLVLSI
2009
IEEE
15 years 5 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
SIGIR
2012
ACM
13 years 27 days ago
2012
ACM
In this paper, we tackle the problem of top-N context-aware recommendation for implicit feedback scenarios. We frame this challenge as a ranking problem in collaborative filterin...
KDD
2008
ACM
15 years 11 months ago
2008
ACM
We address the problem of classification in partially labeled networks (a.k.a. within-network classification) where observed class labels are sparse. Techniques for statistical re...