4972 search results - page 909 / 995 » Ranking on graph data |
133
click to vote
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
145
click to vote
WETICE
2007
IEEE
15 years 10 months ago
2007
IEEE
Designing a collaborative architecture for real-time applications is an intricate challenge that usually involves dealing with the real-time constraints, resource limitations and ...
123
click to vote
DAGM
2007
Springer
15 years 10 months ago
2007
Springer
Magnetic resonance spectral images provide information on metabolic processes and can thus be used for in vivo tumor diagnosis. However, each single spectrum has to be checked manu...
124
click to vote
GEOS
2007
Springer
15 years 10 months ago
2007
Springer
In geospatial applications with heterogeneous classification schemes that describe related domains, an ontology-driven approach to data sharing and interoperability relies on the ...
132
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
The OTIS-Network (also referred to as two-level swapped network) is composed of n clones of an n-node original network constituting its clusters. It has received much attention due...