4716 search results - page 248 / 944 » Tangible functional programming |
152
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 ...
170
click to vote
KBSE
2008
IEEE
16 years 27 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...
164
click to vote
CISS
2007
IEEE
16 years 25 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...
171
click to vote
FSTTCS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...