6020 search results - page 388 / 1204 » A New Approach to Model Counting |
183
click to vote
SEMCO
2007
IEEE
16 years 1 months ago
2007
IEEE
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
156
click to vote
CPAIOR
2007
Springer
16 years 1 months ago
2007
Springer
Many optimisation problems contain substructures involving constraints on sequences of decision variables. Such constraints can be very complex to express with mixed integer progra...
175
click to vote
C5
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper explores ways by which multiple authors can annotate 3D models from multiple viewpoints in a 3D collaborative environment, with particular reference to the environment ...
183
click to vote
DATE
2005
IEEE
16 years 14 days ago
2005
IEEE
In signal integrity analysis, the joint effect of propagated noise through library cells, and of the noise injected on a quiet net by neighboring switching nets through coupling c...
151
click to vote
ECAI
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The concept of melodic similarity has become increasingly relevant in the light of music retrieval and music content processing systems. We propose a new way of measuring...