2989 search results - page 232 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
124
Voted
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
—1 In this paper we present a stochastic model order reduction technique for interconnect extraction in the presence of process variabilities, i.e. variation-aware extraction. It...
133
click to vote
SAT
2010
Springer
15 years 1 months ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...
143
click to vote
PR
2007
15 years 2 months ago
2007
In this paper, we present a new method for tracking objects with shadows. Traditional motion-based tracking schemes cannot usually distinguish the shadow from the object itself, a...
135
Voted
ENTCS
2008
15 years 2 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
106
Voted
PRL
2006
15 years 2 months ago
2006
In this work we introduce a new distance estimation technique by boosting and we apply it to the K-Nearest Neighbor Classifier (KNN). Instead of applying AdaBoost to a typical cla...