4224 search results - page 123 / 845 » Reasoning about Choice |
150
click to vote
ICFP
2003
ACM
16 years 5 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
266
Voted
BSL
2011
15 years 17 days ago
2011
show that an abstract analysis of one of these three set theoretic principles can sometimes lead us to results that do not require additional axioms at all but which could have bee...
132
Voted
PROCEDIA
2010
15 years 4 months ago
2010
Psychological literature shows that people do not always make rational choices with respect to whom to collaborate with. Providing the value of candidate connections may help them...
134
click to vote
TIME
2002
IEEE
15 years 10 months ago
2002
IEEE
We show the expressiveness provided by a Labelled point-based metric model for specifying and reasoning about complex disjunctive temporal constraints. The model allows us to mana...
143
click to vote
ICSE
2009
IEEE-ACM
16 years 10 days ago
2009
IEEE-ACM
We propose a new approach for reasoning about concurrency in object-oriented programs. Central to our approach is static ownership inference analysis — we conjecture that this a...