2312 search results - page 228 / 463 » Invariance in Property Testing |
171
click to vote
ENTCS
2006
15 years 5 months ago
2006
We present a Standard ML library for writing programs that automatically adjust to changes to their data. The library combines modifiable references and memoization to achieve eff...
145
click to vote
CCE
2007
15 years 5 months ago
2007
In this work, a systematic approach to plant-wide control design is proposed. The method combines ingredients from process networks, thermodynamics and systems theory to derive ro...
158
click to vote
SIGPRO
2008
15 years 5 months ago
2008
The LMS algorithm is one of the most popular learning algorithms for identifying an unknown system. Many variants of the algorithm have been developed based on different problem f...
170
click to vote
TCS
2008
15 years 5 months ago
2008
This article presents formalized intuitionistic proofs for the polyhedra genus theorem, the Euler formula and a sufficient condition of planarity. They are based on a hypermap mod...
167
Voted
TIP
2008
15 years 5 months ago
2008
Changes in motion properties of trajectories provide useful cues for modeling and recognizing human activities. We associate an event with significant changes that are localized in...