Sciweavers

1026 search results - page 63 / 206
» On Finding Minimal w-cutset
Sort
View
ISCIS
2009
Springer
14 years 4 months ago
Using a SAT solver to generate checking sequences
—Methods for software testing based on Finite State Machines (FSMs) have been researched since the early 60’s. Many of these methods are about generating a checking sequence fr...
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Y...
ICIP
2008
IEEE
14 years 4 months ago
Graph-cut optimization of the ratio of functions and its application to image segmentation
Optimizing the ratio of two functions of binary variables is a common task in many image analysis applications. In general, such a ratio is not amenable to graph-cut based optimiz...
Hui Wang, Nilanjan Ray, Hong Zhang
ICDM
2007
IEEE
179views Data Mining» more  ICDM 2007»
14 years 4 months ago
GDClust: A Graph-Based Document Clustering Technique
This paper introduces a new technique of document clustering based on frequent senses. The proposed system, GDClust (Graph-Based Document Clustering) works with frequent senses ra...
M. Shahriar Hossain, Rafal A. Angryk
ICSOC
2007
Springer
14 years 4 months ago
Mobile Ontology: Towards a Standardized Semantic Model for the Mobile Domain
Ontologies will be crucial for the future development of Next Generation Service Delivery Platforms. While various projects have defined ontologies for the mobile domain, there is ...
Claudia Villalonga, Martin Strohbach, Niels Snoeck...
3DPVT
2006
IEEE
139views Visualization» more  3DPVT 2006»
14 years 4 months ago
A Probabilistic Notion of Correspondence and the Epipolar Constraint
We present a probabilistic framework for correspondence and egomotion. First, we suggest computing probability distributions of correspondence. This has the advantage of being rob...
Justin Domke, Yiannis Aloimonos