6020 search results - page 420 / 1204 » A New Approach to Model Counting |
191
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. We present a new approach for self-calibrating the distortion function and the distortion center of cameras with general radially symmetric distortion. In contrast to mos...
166
click to vote
TAP
2007
Springer
16 years 1 months ago
2007
Springer
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...
162
click to vote
COMBINATORICS
2006
15 years 7 months ago
2006
We give a new derivation of the threshold of appearance of the k-core of a random graph. Our method uses a hybrid model obtained from a simple model of random graphs based on rand...
201
click to vote
HT
2009
ACM
15 years 4 months ago
2009
ACM
In this paper we describe a model of social and collaborative search based on the use of tags. First we will introduce the issues that drove us to the definition of this model, an...
248
click to vote
BPSC
2010
15 years 3 months ago
2010
Abstract: While agility is a core challenge in today's competitive business, softwarebased business process modeling and execution approaches often refer to strict and inflexi...