358 search results - page 30 / 72 » A Verification Methodology for Model Fields |
56
Voted
ESANN
2008
14 years 11 months ago
2008
This paper presents a review of methodology for semi-supervised modeling with kernel methods, when the manifold assumption is guaranteed to be satisfied. It concerns environmental ...
161
click to vote
POPL
2006
ACM
15 years 9 months ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...
75
Voted
VISUALIZATION
1999
IEEE
15 years 1 months ago
1999
IEEE
We explore the potential of information visualization techniques in enhancing existing methodologies for domain analysis and modeling. In this case study, we particularly focus on...
66
Voted
SIGIR
2009
ACM
15 years 4 months ago
2009
ACM
Topics form a crucial component of a test collection. We show, through visualization, that the INEX 2008 topics have shortcomings, which questions their validity for evaluating XM...
119
click to vote
CORR
2011
Springer
14 years 1 months ago
2011
Springer
Despite the extensive use of the agent technology in the Supply Chain Management field, its integration with Advanced Planning and Scheduling (APS) tools still represents a promis...