5451 search results - page 358 / 1091 » Typed Operational Semantics |
135
click to vote
JUCS
2010
15 years 3 months ago
2010
Abstract: Ontology rule editing, testing, debugging and validation are still handcrafted and painful tasks. Nowadays, there is a lack of tools that take these tasks into considerat...
182
click to vote
JMLR
2012
13 years 7 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...
160
click to vote
PSSS
2003
15 years 6 months ago
2003
: RDF-based tools promise to provide a base for reasoning about metadata and about situated data—data describing entities situated in time and space—that is superior to alterna...
158
click to vote
ICDT
2012
ACM
13 years 7 months ago
2012
ACM
The problems of query containment, equivalence, and minimization are recognized as very important in the context of query processing, specifically of query optimization. In their...
122
click to vote
ICML
2009
IEEE
16 years 5 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 ...