Sciweavers

587 search results - page 97 / 118
» Impact of Model-Driven Standards
Sort
View
152
Voted
ICRA
2005
IEEE
100views Robotics» more  ICRA 2005»
15 years 11 months ago
Improved Signal To Noise Ratio And Computational Speed For Gradient-Based Detection Algorithms
— Image gradient-based feature detectors offer great advantages over their standard edge-only equivalents. In driver support systems research, the radial symmetry detection algor...
Nick Barnes
173
Voted
ITS
2010
Springer
178views Multimedia» more  ITS 2010»
15 years 10 months ago
Learning What Works in ITS from Non-traditional Randomized Controlled Trial Data
The traditional, well established approach to finding out what works in education research is to run a randomized controlled trial (RCT) using a standard pretest and posttest desig...
Zachary A. Pardos, Matthew D. Dailey, Neil T. Heff...
FTRTFT
1998
Springer
15 years 10 months ago
On the Need for Practical Formal Methods
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
Constance L. Heitmeyer
159
Voted
FPCA
1989
15 years 10 months ago
Theorems for Free!
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
Philip Wadler
154
Voted
INFOCOM
1994
IEEE
15 years 9 months ago
Optimization of Wireless Resources for Personal Communications Mobility Tracking
In personal communications applications, users communicate via wireless with a wireline network. The wireline network tracks the current location of the user, and can therefore ro...
Upamanyu Madhow, Michael L. Honig, Kenneth Steigli...