Sciweavers

8699 search results - page 31 / 1740
» Elements of the Theory of Computation
Sort
View
MEMBRANE
2009
Springer
14 years 2 months ago
A Computational Complexity Theory in Membrane Computing
Mario J. Pérez-Jiménez
SAGT
2010
Springer
191views Game Theory» more  SAGT 2010»
13 years 6 months ago
The Computational Complexity of Trembling Hand Perfection and Other Equilibrium Refinements
Kristoffer Arnsfelt Hansen, Peter Bro Miltersen, T...
CORR
2004
Springer
176views Education» more  CORR 2004»
13 years 7 months ago
The First-Order Theory of Sets with Cardinality Constraints is Decidable
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
Viktor Kuncak, Martin C. Rinard
CVPR
1998
IEEE
14 years 9 months ago
Nonrigid Motion Analysis Based on Dynamic Refinement of Finite Element Models
Leonid V. Tsap, Dmitry B. Goldgof, Sudeep Sarkar