4224 search results - page 224 / 845 » Reasoning about Choice |
170
click to vote
SOFSEM
2004
Springer
16 years 16 days ago
2004
Springer
Our aim is to investigate the factors which determine the intrinsic hardness of constructing a solution to any particular constraint satisfaction problem instance, regardless of th...
192
click to vote
CAD
2011
Springer
14 years 10 months ago
2011
Springer
The behavior of Catmull-Rom curves heavily depends on the choice of parameter values at the control points. We analyze a class of parameterizations ranging from uniform to chordal...
192
click to vote
DGO
2008
15 years 8 months ago
2008
This paper provides an interim report on ongoing data collection and analysis efforts as part of a large-scale study of information technology- focused interagency collaborations ...
451
click to vote
ICDE
2009
IEEE
17 years 7 months ago
2009
IEEE
Recent work has shown the importance of considering the adversary’s background knowledge when reasoning about privacy in data publishing. However, it is very difficult
for the d...
327
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...