3228 search results - page 58 / 646 » Computationally Sound Proofs |
SAT
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
ACII
2007
Springer
14 years 3 months ago
2007
Springer
in the form of light clusters (displayed in arrays of LEDs) and abstract electroacoustic sound — what we term low-fidelity embodiments. Thus, the architecture for such agents is...
SIGGRAPH
2010
ACM
14 years 1 months ago
2010
ACM
We propose a physically based algorithm for synthesizing sounds synchronized with brittle fracture animations. Motivated by laboratory experiments, we approximate brittle fracture...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
We are developing a set of handheld input devices for mutual assessment in the course of a learning activity and a system to give on-the-spot feedback concerning the summary of th...