6020 search results - page 445 / 1204 » A New Approach to Model Counting |
289
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Due to rapid growth of the Internet technology and new scientific/technological advances, the number of applications that model data as graphs increases, because graphs have high e...
204
click to vote
WOSP
2005
ACM
16 years 15 days ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
197
click to vote
IDA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The underdetermined blind audio source separation problem is often addressed in the time-frequency domain by assuming that each time-frequency point is an independently d...
167
click to vote
INEX
2009
Springer
15 years 11 months ago
2009
Springer
We describe our participation in the Link-the-Wiki track at INEX 2009. We apply machine learning methods to the anchor-to-best-entry-point task and explore the impact of the follow...
185
click to vote
FLAIRS
2003
15 years 8 months ago
2003
Medical data is unique due to its large volume, heterogeneity and complexity. This necessitates costly active participation of medical domain experts in the task of cleansing medi...