6020 search results - page 317 / 1204 » A New Approach to Model Counting |
173
click to vote
SIGGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
We present a visual exploration tool that lets biologists navigate through complex bat wing geometries by combining a novel modeling method and an interactive visualization approa...
176
click to vote
ICOIN
2007
Springer
16 years 27 days ago
2007
Springer
Measurement studies on the Internet topology show that connectivities of nodes exhibit power–law attribute, but it is apparent that only the degree distribution does not determin...
148
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a new image and blur prior model, based on nonstationary autoregressive (AR) models, and use these to blindly deconvolve blurred photographic images, using the Gibbs sa...
162
click to vote
ECMDAFA
2005
Springer
16 years 8 days ago
2005
Springer
Queries on software artifacts play an important role in novel software development approaches, such as Aspect-Oriented Software Development and OMG's Model Driven Architecture...
157
click to vote
SIGIR
1998
ACM
15 years 11 months ago
1998
ACM
Previous research has shown that hypertext links may be a useful source of evidence for document contents and relevance, but these evidence are rather difficult to represent and co...