3552 search results - page 215 / 711 » Proof theory in the abstract |
174
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order — the ...
161
click to vote
SIAMJO
2008
15 years 6 months ago
2008
Abstract. The recently introduced proximal average of two convex functions is a convex function with many useful properties. In this paper, we introduce and systematically study th...
140
click to vote
BC
2005
15 years 6 months ago
2005
Abstract The coupling of movement behavior and environmental signals has been extensively studied within the domain of rhythmic coordination tasks. However, in contrast to most tra...
160
click to vote
CJ
2004
15 years 6 months ago
2004
act interpretation. R. Barbuti, C. Bernardeschi and N. De Francesco With mobile technology more and more prominent, the problem of security leakages becomes more and more important...
168
click to vote
TON
2010
15 years 4 months ago
2010
Abstract—Comparing graphs to determine the level of underlying structural similarity between them is a widely encountered problem in computer science. It is particularly relevant...