133 search results - page 9 / 27 » Approximate Hypergraph Partitioning and Applications |
90
Voted
CONCUR
2001
Springer
15 years 5 months ago
2001
Springer
In this paper we introduce a static analysis technique for graph transformation systems. We present an algorithm which, given a graph transformation system and a start graph, produ...
105
Voted
ERSA
2004
15 years 2 months ago
2004
Advanced multimedia applications (e.g. based on MPEG-4) will consist of multiple scalable multimedia objects. This scalability enables the application to adapt to different proces...
210
Voted
GIS
2008
ACM
16 years 1 months ago
2008
ACM
Existing techniques for autonomous indoor navigation are often environment-specific and thus limited in terms of their applicability. In this paper, we take a fundamentally differ...
103
click to vote
HYBRID
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
109
Voted
IJAR
2008
15 years 22 days ago
2008
This paper reviews probabilistic approaches to rough sets in granulation, approximation, and rule induction. The Shannon entropy function is used to quantitatively characterize pa...