3311 search results - page 411 / 663 » Deductive Object Programming |
108
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...
139
click to vote
UM
2009
Springer
15 years 10 months ago
2009
Springer
When developing an Adaptive Learning System (ALS), users are generally consulted (if at all) towards the end of the development cycle. This can limit users’ feedback to the chara...
125
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...
139
click to vote
CRV
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes a new variational method for estimating disparity from stereo images. The stereo matching problem is formulated as a convex programming problem in which an ob...
109
click to vote
ITICSE
2006
ACM
15 years 9 months ago
2006
ACM
While classes in IT skills are endemic, high school students in the UK rarely experience computer science. We present a pilot of a scheme that aims to go some way towards addressi...