2564 search results - page 184 / 513 » Witness sets of projections |
182
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Agile practices are arguably improving the productivity of small, co-located software development teams. In this paper, we describe an approach that tries to overcome the constrai...
126
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Many governmental organizations nowadays are setting up e-government initiatives to improve the delivery of services to citizens. Often, these initiatives require information exch...
153
click to vote
CADE
1999
Springer
15 years 10 months ago
1999
Springer
CutRes is a system which takes as input an LK-proof with arbitrary cuts and skolemized end-sequent and gives as output an LKproof with atomic cuts only. The elimination of cuts is ...
191
click to vote
DL
1999
Springer
15 years 10 months ago
1999
Springer
We demonstrate a prototype distributed architecture for a digital library, using technology being developed under the MIX Project at the San Diego Supercomputer Center (SDSC) and ...
156
click to vote
STACS
1993
Springer
15 years 10 months ago
1993
Springer
We show that for most complexity classes of interest, all sets complete under rstorder projections (fops) are isomorphic under rst-order isomorphisms. That is, a very restricted v...