1286 search results - page 154 / 258 » From System F to Typed Assembly Language |
120
Voted
ER
2001
Springer
15 years 8 months ago
2001
Springer
: In electronic commerce, two fundamental types of models are business models and process models. While a business model is concerned with value exchanges between actors, a process...
120
Voted
AAAI
1998
15 years 5 months ago
1998
We discuss what constitutes an integrated system in AI, and why AI researchers should be interested in building and studying them. Taking integrated systems to be ones that integr...
102
Voted
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— For the optimal approximation of multivariate Gaussian densities by means of Dirac mixtures, i.e., by means of a sum of weighted Dirac distributions on a continuous domain, a n...
121
Voted
SAC
1998
ACM
15 years 8 months ago
1998
ACM
This paper shows how a recently introduced class of applications can be solved by constraint programming. This new type of application is due to the emergence of special real-time...
142
Voted
CBSE
2004
Springer
15 years 9 months ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...