3717 search results - page 567 / 744 » Representing Multiple Theories |
128
click to vote
ISARCS
2010
15 years 6 months ago
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
195
click to vote
CIVR
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents a semi-supervised learning (SSL) approach to find similarities of images using statistics of local matches. SSL algorithms are well known for leveraging a larg...
145
click to vote
DASFAA
2008
IEEE
15 years 6 months ago
2008
IEEE
We study a novel problem of mining significant recurrent rules from a sequence database. Recurrent rules have the form "whenever a series of precedent events occurs, eventuall...
134
click to vote
APVIS
2007
15 years 5 months ago
2007
In this paper, we introduce a new method, GraphScape, to visualize multivariate networks, i.e., graphs with multivariate data associated with their nodes. GraphScape adopts a land...
137
click to vote
DAGSTUHL
2010
15 years 5 months ago
2010
Mesh optimization of 2D and 3D triangulations is used in multiple applications extensively. For example, mesh optimization is crucial in the context of adaptively discretizing geo...