4757 search results - page 264 / 952 » Monads for Functional Programming |
201
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
153
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We present VS3 , a tool that automatically verifies complex properties of programs and infers maximally weak preconditions and maximally strong postconditions by leveraging the pow...
176
click to vote
ICIRA
2009
Springer
16 years 1 months ago
2009
Springer
This paper combines the novel concept of Fuzzy Gaussian Inference(FGI) with Genetic Programming (GP) in order to accurately classify real natural 3d human Motion Capture data. FGI ...
173
click to vote
KBSE
2008
IEEE
16 years 29 days ago
2008
IEEE
—In spite of the modularization benefits supported by the Aspect-Oriented programming paradigm, different usability issues have hindered its adoption. The decoupling between asp...
165
click to vote
CISS
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract— In previous work, we established a linear programming framework to determine sensor location from measured link distances between neighboring nodes in a network. Beside...