796 search results - page 99 / 160 » Graph Properties Based Filtering |
142
Voted
GEOS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Representing human spatial knowledge has long been a challenging research area. The objective of this paper is to model a route description of human navigation where verb...
134
Voted
ICDM
2005
IEEE
15 years 8 months ago
2005
IEEE
We address the issue of providing highly informative and comprehensive annotations using information revealed by the structured vocabularies of Gene Ontology (GO). For a target, a...
130
Voted
DATE
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper, we present a system synthesis algorithm, called MOCSYN, which partitions and schedules embedded system specifications to intellectual property cores in an integrate...
129
Voted
IPPS
1996
IEEE
15 years 6 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
91
Voted
ENTCS
2002
15 years 2 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...