1535 search results - page 252 / 307 » A Graph Based Data Model for Graphics Interpretation |
131
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Associating literature with pathways poses new challenges to the Text Mining (TM) community. There are three main challenges to this task: (1) the identification of th...
124
click to vote
APN
2004
Springer
15 years 8 months ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
CAV
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
103
click to vote
VLDB
2004
ACM
15 years 8 months ago
2004
ACM
Different models have been proposed recently for representing temporal data, tracking historical information, and recovering the state of the document as of any given time, in XM...
128
click to vote
ICML
2005
IEEE
16 years 4 months ago
2005
IEEE
Many real-world domains exhibit rich relational structure and stochasticity and motivate the development of models that combine predicate logic with probabilities. These models de...