10916 search results - page 348 / 2184 » On Constructive Connectives and Systems |
159
Voted
SCAM
2005
IEEE
16 years 13 days ago
2005
IEEE
Differing views have been expressed on the appropriateness of the friend construct in the design and implementation of object-oriented software in C++. However, little empirical a...
155
click to vote
ISSAC
2009
Springer
16 years 1 months ago
2009
Springer
Constructive methods for matrices of multihomogeneous resultants for unmixed systems have been studied in [7, 14, 16]. We generalize these constructions to mixed systems, whose Ne...
196
Voted
ICVS
2003
Springer
16 years 2 days ago
2003
Springer
We propose a method to construct computer vision systems using a workbench composed of a multi-faceted toolbox and a general purpose kernel. The toolbox is composed of an open set ...
264
click to vote
IPCO
2010
15 years 8 months ago
2010
We introduce the framework of polyhedral branching systems that can be used in order to construct extended formulations for polyhedra by combining extended formulations for other p...
153
click to vote
JCS
2008
15 years 6 months ago
2008
We present a novel technique, known as the non-delegatable authority (NDA), for distributing authority to unconfined subjects in capability systems that prevents them from sharing...