9595 search results - page 279 / 1919 » Functional programming in C |
140
click to vote
LICS
2005
IEEE
16 years 3 days ago
2005
IEEE
We construct a domain-theoretic calculus for Lipschitz and differentiable functions, which includes addition, subtraction and composition. We then develop a domaintheoretic versio...
154
click to vote
ACCV
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we propose a convex optimization based approach for piecewise planar reconstruction. We show that the task of reconstructing a piecewise planar environment can be se...
166
click to vote
IWPC
2006
IEEE
16 years 16 days ago
2006
IEEE
Software systems are often written in more than one programming language. During development, programmers need to understand not only the dependencies among code in a particular l...
128
click to vote
ISSTA
2006
ACM
16 years 14 days ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
171
click to vote
DEXAW
2005
IEEE
16 years 4 days ago
2005
IEEE
Software organizations follow capability models in order to aggregate quality to their processes and products. Process measurement and analysis are key issues, but their implement...