2292 search results - page 373 / 459 » Structure preserving embedding |
101
click to vote
ICTAC
2010
Springer
14 years 9 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
100
click to vote
PKDD
2010
Springer
14 years 9 months ago
2010
Springer
A heterogeneous information network is a network composed of multiple types of objects and links. Recently, it has been recognized that strongly-typed heterogeneous information net...
153
click to vote
CPP
2011
13 years 11 months ago
2011
Parsing text to identify grammatical structure is a common task, especially in relation to programming languages and associated tools such as compilers. Parsers for context-free g...
105
click to vote
KDD
2012
ACM
13 years 2 months ago
2012
ACM
Online reviews provide consumers with valuable information that guides their decisions on a variety of fronts: from entertainment and shopping to medical services. Although the pr...
176
click to vote
SIGMOD
2006
ACM
15 years 11 months ago
2006
ACM
Testing of database applications is crucial for ensuring high software quality as undetected faults can result in unrecoverable data corruption. The problem of database applicatio...