366 search results - page 30 / 74 » Four equivalent equivalences of reductions |
81
Voted
CADE
2003
Springer
16 years 1 months ago
2003
Springer
We make the notion of scope in the -calculus explicit. To that end, the syntax of the -calculus is extended with an end-of-scope operator , matching the usual opening of a scope du...
119
Voted
TSMC
2010
14 years 7 months ago
2010
The original rough-set model is primarily concerned with the approximations of sets described by a single equivalence relation on a given universe. With granular computing point of...
MSS
2010
IEEE
14 years 11 months ago
2010
IEEE
We consider four different game-theoretic approaches to describe the formation of social networks under mutual consent and costly communication. First, we consider Jackson-Wolins...
116
click to vote
SMA
2009
ACM
15 years 7 months ago
2009
ACM
A key problem when interpolating a network of curves occurs at vertices: an algebraic condition called the vertex enclosure constraint must hold wherever an even number of curves ...
110
Voted
ADG
2006
Springer
15 years 6 months ago
2006
Springer
This paper describes the recent convergence of four topics: polynomial systems, flexibility of three dimensional objects, computational chemistry, and computer algebra. We discuss...