22 search results - page 2 / 5 » Towards Automated Deployment of Built-to-Order Systems |
CADE
2009
Springer
16 years 6 days 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...
95
Voted
CSREAPSC
2006
15 years 1 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
16 years 13 hour 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...
107
click to vote
ECAI
2000
Springer
15 years 4 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
16 years 18 days 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 ...