689 search results - page 81 / 138 » A Modal-Logic Based Graph Abstraction |
MICCAI
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. This paper introduces a new method to detect group differences in brain images based on spatially regularized support vector machines (SVM). First, we propose to spatial...
VLSISP
2008
13 years 7 months ago
2008
Abstract. In this paper we propose an architecture design methodology to optimize the throughput of MD4-based hash algorithms. The proposed methodology includes an iteration bound ...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— This paper presents a solution to interactive navigation planning and real-time simulation of a very large number of entities moving in a virtual environment. From the ...
ICCS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract: An application of the method suitable for modelling and control of general discrete event dynamic systems (DEDS) to special kinds of communication systems is presented in...
IPPS
2000
IEEE
14 years 1 days ago
2000
IEEE
Abstract. The standard serial algorithm for strongly connected components is based on depth rst search, which is di cult to parallelize. We describe a divide-and-conquer algorithm ...