1802 search results - page 69 / 361 » Using Declarative Specifications in Business Process Design |
DAC
2002
ACM
16 years 7 days ago
2002
ACM
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
—The need to have Transaction Level models early in the design cycle is becoming more and more important to shorten the development times of complex Systems-on-Chip (SoC). These ...
ENTCS
2008
14 years 11 months ago
2008
We describe the experience of implementing a Domain-Specific Language using transformation to a General Purpose Language. The domain of application is image processing and low-lev...
WISE
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. E-Negotiation is the process of conducting negotiations between business partners using electronic means. The interest in e-negotiation is motivated by its potential to p...
113
click to vote
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
Gradient boosting is a flexible machine learning technique that produces accurate predictions by combining many weak learners. In this work, we investigate its use in two applica...