2135 search results - page 145 / 427 » An Operational Semantics for JavaScript |
JMLR
2012
11 years 11 months ago
2012
Open-text semantic parsers are designed to interpret any statement in natural language by inferring a corresponding meaning representation (MR – a formal representation of its s...
ICML
2009
IEEE
14 years 10 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 ...
WWW
2004
ACM
14 years 10 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...
SIGMOD
2003
ACM
14 years 9 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 ...
TLDI
2009
ACM
14 years 6 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 ...