22 search results - page 2 / 5 » Towards Automated Deployment of Built-to-Order Systems |
CADE
2009
Springer
14 years 8 months ago
2009
Springer
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...
CSREAPSC
2006
13 years 8 months ago
2006
Home Automation Technologies make possible the deployment of home monitoring and control applications. These technologies rely on different networking technologies. Some of them ar...
KDD
2008
ACM
14 years 7 months ago
2008
ACM
Text classification has matured as a research discipline over the last decade. Independently, business intelligence over structured databases has long been a source of insights fo...
ECAI
2000
Springer
13 years 11 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
DAC
2008
ACM
14 years 8 months ago
2008
ACM
Daedalus is a system-level design flow for the design of multiprocessor system-on-chip (MP-SoC) based embedded multimedia systems. It offers a fully integrated tool-flow in which ...