1888 search results - page 280 / 378 » Proof theory and computational analysis |
FUIN
2010
15 years 8 days ago
2010
Abstract. Current methods for solving games embody a form of “procedural rationality” that invites logical analysis in its own right. This paper is a brief case study of Backwa...
135
click to vote
ISI
2010
Springer
14 years 11 months ago
2010
Springer
Social Media provide an exciting and novel view into social phenomena. The vast amounts of data that can be gathered from the Internet coupled with massively parallel supercomputer...
163
Voted
WKDD
2010
CPS
14 years 11 months ago
2010
CPS
In physics, structure of glass and ion trajectories are essentially based on statistical analysis of data acquired through experimental measurement and computer simulation [1, 2]. ...
211
click to vote
COMPGEOM
2011
ACM
14 years 5 months ago
2011
ACM
We propose a framework for compressive sensing of images with local geometric features. Specifically, let x ∈ RN be an N-pixel image, where each pixel p has value xp. The image...
169
click to vote
ICSE
2011
IEEE-ACM
14 years 5 months ago
2011
IEEE-ACM
A raw object is partially initialized, with only some fields set to legal values. It may violate its object invariants, such as that a given field is non-null. Programs often ma...