Sciweavers

1086 search results - page 150 / 218
» Points surrounding the origin
Sort
View
COLT
2003
Springer
15 years 5 months ago
On Learning to Coordinate: Random Bits Help, Insightful Normal Forms, and Competency Isomorphisms
A mere bounded number of random bits judiciously employed by a probabilistically correct algorithmic coordinator is shown to increase the power of learning to coordinate compared ...
John Case, Sanjay Jain, Franco Montagna, Giulia Si...
FM
2003
Springer
104views Formal Methods» more  FM 2003»
15 years 5 months ago
Proving the Shalls
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
Steven P. Miller, Alan C. Tribble, Mats Per Erik H...
GECCO
2003
Springer
108views Optimization» more  GECCO 2003»
15 years 5 months ago
Evolutionary Testing of Flag Conditions
Evolutionary Testing (ET) has been shown to be very successful in testing real world applications [16]. However, it has been pointed out [11], that further research is necessary if...
André Baresel, Harmen Sthamer
ECCV
2010
Springer
15 years 5 months ago
A Streakline Representation of Flow in Crowded Scenes
Based on the Lagrangian framework for fluid dynamics, a streakline representation of flow is presented to solve computer vision problems involving crowd and traffic flow. Streakl...
Ramin Mehran, Brian E. Moore, Mubarak Shah
METRICS
2002
IEEE
15 years 4 months ago
What We Have Learned About Fighting Defects
The Center for Empirically Based Software Engineering helps improve software development by providing guidelines for selecting development techniques, recommending areas for furth...
Forrest Shull, Victor R. Basili, Barry W. Boehm, A...