Computer-automated design - PDFSEARCH.IO - Document Search Engine

Computer-automated design
Results: 82

#	Item
1	Rapid Visualization Tool Data Visualization Software Automated Sciences LLC OctoberThe Automated Sciences Rapid Visualization Tool (RVT) Add to Reading List Source URL: www.automatedsciences.com Language: English - Date: 2013-10-16 22:09:25 Computer graphics Computing Visualization Communication design Computational science Data modeling Infographics Data visualization Geographic information system Software
2	An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems Marco Maratea DIST, University of Genova, Viale F. Causa 15, Genova, Italy. Abstract Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-19 04:29:26 Theoretical computer science Automated planning and scheduling Logic in computer science Mathematics Computational complexity theory Boolean algebra Electronic design automation Formal methods Boolean satisfiability problem Maximum satisfiability problem Planning Domain Definition Language Satz
3	EXPLORATION AND UTILITY SYSTEMS Henry A. Emery, the chair of this session, presented the paper "Automated Mapping and Facilities Management". The Kellogg Corporation assists utilities and local governments in planning a Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 23:36:47 Cartography Geography Geomatics Physical geography Digital elevation model Computer-aided design Map Terrain
4	Journal of Automated Reasoning manuscript No. DOIs10817Interpolation Systems for Ground Proofs in Automated Deduction: a Survey Maria Paola Bonacina · Moa Johansson Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-03-16 05:12:39 Mathematical logic Logic Theoretical computer science Automated theorem proving Formal methods Logic in computer science Electronic design automation Craig interpolation Interpolation Satisfiability modulo theories Unit propagation Resolution
5	Design-to-Order For Raspberry Pi Compute Online Design and Automated Manufacturing Speeds Path to Market ® REDWOOD CITY, Calif. February 17th, 2016 — Gumstix , Inc., a leader in design-to-order hardware and Add to Reading List Source URL: www.gumstix.com Language: English - Date: 2016-02-17 07:12:21 Classes of computers Computing Computer hardware Single-board computers Linux-based devices Embedded systems Embedded Linux Microcontrollers Gumstix Raspberry Pi Computer-on-module Computing platform
6	Automated Software Remodularization Based on Move Refactoring A Complex Systems Approach Marcelo Serrano Zanetti, Claudio Juan Tessone, Ingo Scholtes and Frank Schweitzer Chair of Systems Design – www.sg.ethz.ch – ET Add to Reading List Source URL: www.sg.ethz.ch Language: English - Date: 2014-10-21 14:24:47 Software engineering Software development Computer programming Programming paradigms Extreme programming Modular programming Code refactoring Modularity Coupling Object-oriented programming Subroutine Decomposition
7	SEMINAR ON AUTOMATION IN CARTOGRAPHY: INTERNATIONAL PEl/ELOPMENTS In this elon representative o£ several nation* reported on de.valopme.nt!> and experiences in automated cartography in their Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 22:57:04 Computer printers Graphics hardware Cartography Geodesy Geography Map Calcomp plotter Plotter Graphic design Computing
8	On interpolation in decision procedures⋆ Maria Paola Bonacina and Moa Johansson Dipartimento di Informatica, Universit` a degli Studi di Verona Strada Le Grazie 15, IVerona, Italy Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-03-21 07:54:00 Automated theorem proving Logic in computer science Boolean algebra Electronic design automation Formal methods Craig interpolation Boolean satisfiability problem Unit propagation Resolution Interpolation Propositional calculus Satisfiability modulo theories
9	Automated Assembly Simulation Using Motion Capture Investigators: Ming Leu (, ), Frank Liu, Wenjuan Zhu, Abhinav Chadda, Anup Vader Funding Source: Air Force Research Laboratory, CAMT Industrial Add to Reading List Source URL: isc.mst.edu Language: English - Date: 2014-01-22 05:22:43 Computer-aided design Design engineering Simulation Automation
10	Intelligent Paper to CAD Solutions® GEOGRAPHIC INFORMATION SYSTEMS & MAPPING Many industries today are using Automated Mapping, Facilities Management systems (AM/FM) and Geographic Information Systems (GIS) to improve Add to Reading List Source URL: www.gtx.com Language: English - Date: 2009-09-09 15:56:58 Digital geometry Geographic information system Raster graphics Fax Computer-aided design Raster

UPDATE