2335 search results - page 335 / 467 » Type Checking Type Classes |
139
Voted
ICCV
2011
IEEE
14 years 2 months ago
2011
IEEE
We present an active geodesic contour model in which we constrain the evolving active contour to be a geodesic with respect to a weighted edge-based energy through its entire evol...
145
Voted
SCW
2012
IEEE
13 years 10 months ago
2012
IEEE
We consider pure exchange economies with finitely many private goods involving the choice of a public project. We discuss core-equivalence results in the general framework of non...
112
Voted
ASM
2004
ASM
15 years 8 months ago
2004
ASM
Consider a multiple-agent transition system such that, for some basic types T1, . . . , Tn, the state of any agent can be represented as an element of the Cartesian product T1 ×·...
133
Voted
ECOOPW
1998
Springer
15 years 6 months ago
1998
Springer
This paper explains the structure of a project repository, which enables you to trace business processes and business rules to the architecture and design of the software system. T...
109
click to vote
FOCS
1992
IEEE
15 years 6 months ago
1992
IEEE
Wait-free implementations of shared objects tolerate the failure of processes, but not the failure of base objects from which they are implemented. We consider the problem of imple...