5234 search results - page 181 / 1047 » Method Components - Rationale Revealed |
119
click to vote
APPROX
2004
Springer
15 years 8 months ago
2004
Springer
While it is exponentially unlikely that a sparse random graph or hypergraph is connected, with probability 1 − o(1) such a graph has a “giant component” that, given its numbe...
125
click to vote
ICSE
2001
IEEE-ACM
15 years 7 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
114
Voted
ICRA
1998
IEEE
15 years 7 months ago
1998
IEEE
Part feeders, which singulate and orient parts prior to packing and insertion, are critical components of an assembly line. Existing feeders utilize o -plane vibrations of a rigid...
128
Voted
SAT
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
155
Voted
EGICE
2006
15 years 7 months ago
2006
System identification is an abductive task which is affected by several kinds of modeling assumptions and measurement errors. Therefore, instead of optimizing values of parameters ...