4690 search results - page 250 / 938 » An operational semantics for Scheme |
149
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
We develop a cyclical blockwise coordinate descent algorithm for the multi-task Lasso that efficiently solves problems with thousands of features and tasks. The main result shows ...
151
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The paper presents an idea about joint use some of new technologies such as the Semantic Web, Web services and Web agents together with an already existing concept. It is a concep...
194
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
176
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
202
click to vote
SAMT
2007
Springer
16 years 24 days ago
2007
Springer
Performing simple keyword-based search has long been the only way to access information. But for a truly comprehensive search on multimedia data, this approach is no longer su cien...