824 search results - page 115 / 165 » Structural Inference for Semistructured Data |
124
click to vote
MPC
1995
Springer
15 years 6 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
158
click to vote
PVLDB
2010
14 years 10 months ago
2010
Workflows are prevalent in diverse applications, which can be scientific experiments, business processes, web services, or recipes. With the dramatically growing number of workflo...
140
click to vote
ALT
2003
Springer
15 years 6 months ago
2003
Springer
Due to the rapid growth of tree structured data such as Web documents, efficient learning from tree structured data becomes more and more important. In order to represent structura...
139
click to vote
KDD
2012
ACM
13 years 5 months ago
2012
ACM
With the wide deployment of smart card automated fare collection (SCAFC) systems, public transit agencies have been benefiting from huge volume of transit data, a kind of sequent...
121
Voted
RECOMB
2010
Springer
15 years 10 months ago
2010
Springer
Constructing quantitative dynamic models of signaling pathways is an important task for computational systems biology. Pathway model construction is often an inherently incremental...