Sciweavers

3913 search results - page 305 / 783
» complexity 2006
Sort
View
NN
2007
Springer
15 years 6 months ago
Topological relationships between brain and social networks
Brains are complex networks. Previously, we revealed that specific connected structures are either significantly abundant or rare in cortical networks. However, it remains unkno...
Shuzo Sakata, Tetsuo Yamamori
APLAS
2006
ACM
16 years 20 days ago
Widening Polyhedra with Landmarks
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
Axel Simon, Andy King
ASE
2006
114views more  ASE 2006»
15 years 6 months ago
Explicit modeling of semantics associated with composite states in UML statecharts
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
Zhaoxia Hu, Sol M. Shatz
ICCD
2006
IEEE
107views Hardware» more  ICCD 2006»
16 years 3 months ago
Design and Implementation of the TRIPS Primary Memory System
Abstract— In this paper, we describe the design and implementation of the primary memory system of the TRIPS processor. To match the aggressive execution bandwidth and support hi...
Simha Sethumadhavan, Robert G. McDonald, Rajagopal...
ECCV
2006
Springer
16 years 8 months ago
Aligning Sequences and Actions by Maximizing Space-Time Correlations
Abstract. We introduced an algorithm for sequence alignment, based on maximizing local space-time correlations. Our algorithm aligns sequences of the same action performed at diffe...
Yaron Ukrainitz, Michal Irani