Sciweavers

587 search results - page 97 / 118
» Impact of Model-Driven Standards
Sort
View
ICRA
2005
IEEE
100views Robotics» more  ICRA 2005»
14 years 2 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
ITS
2010
Springer
178views Multimedia» more  ITS 2010»
14 years 1 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
14 years 20 days 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
FPCA
1989
14 years 15 days 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
INFOCOM
1994
IEEE
13 years 12 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...