3909 search results - page 452 / 782 » Extreme Model Checking |
145
click to vote
JMLR
2006
15 years 4 months ago
2006
The problem of finding the most probable (MAP) configuration in graphical models comes up in a wide range of applications. In a general graphical model this problem is NP hard, bu...
127
Voted
NLE
2008
15 years 4 months ago
2008
For complex tasks such as parse selection, the creation of labelled training sets can be extremely costly. Resource-efficient schemes for creating informative labelled material mu...
161
click to vote
MICS
2010
15 years 3 months ago
2010
Scale free graphs have attracted attention as their non-uniform structure that can be used as a model for many social networks including the WWW and the Internet. In this paper, w...
134
click to vote
DAC
2012
ACM
13 years 7 months ago
2012
ACM
Addressing the challenges of extreme scale computing requires holistic design of new programming models and systems that support those models. This paper discusses the Angstrom pr...
136
click to vote
ICCV
1998
IEEE
16 years 6 months ago
1998
IEEE
In this paper, we present a shape recovery technique in 2 0 and 3 0 with specific applications in visualizing and measuring anatomical shapes from medical images. This algorithm m...