1598 search results - page 308 / 320 » A Unified Computation Model for Functional and Logic Program... |
SAC
2009
ACM
15 years 4 months ago
2009
ACM
Component systems have become a wide-spread technology and found their place in several application domains. Each component system has its speciļ¬cs and particularities that reļ¬...
SIGMOD
1989
ACM
15 years 3 months ago
1989
ACM
The HiPAC project is investigating active, time-constrained databasemanagment. An active DBMS is one which automatically executes specified actions when speciifed conditions arise...
CAV
2010
Springer
15 years 3 months ago
2010
Springer
elor Thesis: Demand Driven Abstraction Reļ¬nement ā¢ Advisor: Dr. Andrey Rybalchenko Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, ...
100
click to vote
CIA
2006
Springer
15 years 3 months ago
2006
Springer
There is great promise in the idea of having agent or web services available on the internet, that can be flexibly composed to achieve more complex services, which can themselves t...
NIPS
2008
15 years 1 months ago
2008
We consider the problem of multiple kernel learning (MKL), which can be formulated as a convex-concave problem. In the past, two efficient methods, i.e., Semi-Infinite Linear Prog...