Sciweavers

2086 search results - page 103 / 418
» Mathematical Theory Exploration
Sort
View
100
Voted
MM
2010
ACM
237views Multimedia» more  MM 2010»
15 years 3 months ago
Chromatic perspectives... scaling my art
This paper attempts to describe Chromatic Perspectives ... Scaling my Art; which addresses the results of a trans-medial exploration departing from an "unframed" process...
Franz Fischnaller
DIGRA
2003
Springer
15 years 8 months ago
Exploration in computer games - a new starting point
Space, vast lands and dungeons… It is no coincidence that Space War and Adventure are among the best known of the first computer games. Both clearly appeal to the player’s cur...
Simon Egenfeldt-Nielsen
MKM
2007
Springer
15 years 9 months ago
Context Aware Calculation and Deduction
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
Amine Chaieb, Makarius Wenzel
137
Voted
LICS
1998
IEEE
15 years 7 months ago
On Proofs about Threshold Circuits and Counting Hierarchies
Hierarchies (Extended Abstract) Jan Johannsen Chris Pollett Department of Mathematics Department of Computer Science University of California, San Diego Boston University La Jolla,...
Jan Johannsen, Chris Pollett
EJC
2010
15 years 3 months ago
Combinatorial characterization of the Assur graphs from engineering
We introduce the idea of Assur graphs, a concept originally developed and exclusively employed in the literature of the kinematics community. The paper translates the terminology,...
Brigitte Servatius, Offer Shai, Walter Whiteley