1342 search results - page 77 / 269 » Ordered Programs as Abductive Systems |
CSB
2004
IEEE
14 years 1 months ago
2004
IEEE
SUPERCONTIGS is a genome-finishing tool that orders, orients and groups contigs based on clone pair information and an alignment with a related genome. The program can be used in ...
IPCO
2010
13 years 11 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...
ICDE
2001
IEEE
14 years 11 months ago
2001
IEEE
LeSelect is a mediator system which allows scientists to publish their resources (data and programs) so they can be transparently accessed. The scientists can typically issue quer...
FPGA
1999
ACM
14 years 1 months ago
1999
ACM
Multi-FPGA systems are used as custom computing machines to solve compute intensive problems and also in the verification and prototyping of large circuits. In this paper, we addr...
FLAIRS
2007
13 years 12 months ago
2007
The goal of the TICK data management system is to make online publication of the fruits of research as easy as the publication of opinions on weblogs. In order to avoid the reinve...