3238 search results - page 336 / 648 » On the Computational Interpretation of Negation |
131
click to vote
SIAMSC
2008
15 years 6 months ago
2008
We review and compare different computational variational methods applied to a system of fourth order equations that arises as a model of cylinder buckling. We describe both the di...
163
click to vote
CG
2004
Springer
15 years 6 months ago
2004
Springer
We provide a formal proof of equivalence between the class of fractals created by Recursive Turtle Programs (RTP) and Iterated Affine Transformations (IAT). We begin by reviewing ...
168
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
The Inductive Logic Programming community has considered proof-complexity and model-complexity, but, until recently, size-complexity has received little attention. Recently a chal...
163
click to vote
PERVASIVE
2007
Springer
15 years 6 months ago
2007
Springer
Mobile social software is currently designed and conceived to afford serendipitous social interactions in densely populated urban environments. In this paper, I argue that these s...
184
Voted
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
Abstract—Becoming proficient in a sport requires significant investment in training. Wearable sensor devices can improve training due to the high level of mobility, ubiquity and...