Sciweavers

805 search results - page 84 / 161
» The Measurable Space of Stochastic Processes
Sort
View
IANDC
2006
103views more  IANDC 2006»
14 years 10 months ago
Bisimulation and cocongruence for probabilistic systems
We introduce a new notion of bisimulation, called event bisimulation on labelled Markov processes (LMPs) and compare it with the, now standard, notion of probabilistic bisimulatio...
Vincent Danos, Josee Desharnais, François L...
DEXA
2000
Springer
98views Database» more  DEXA 2000»
15 years 2 months ago
Optimal Page Ordering for Region Queries in Static Spatial Databases
Page ordering is to define the order of pages in one-dimensional storage for storing two-dimensional spatial data to reduce the number of disk seeks. Previous works relating to pag...
Daesoo Cho, Bonghee Hong
ISVLSI
2007
IEEE
151views VLSI» more  ISVLSI 2007»
15 years 4 months ago
Design of a MCML Gate Library Applying Multiobjective Optimization
In this paper, the problem of sizing MOS Current Mode Logic (MCML) circuits is addressed. The Pareto front is introduced as a useful analysis tool to explore the design space of e...
Roberto Pereira-Arroyo, Pablo Alvarado-Moya, Wolfg...
EUROCAST
2003
Springer
138views Hardware» more  EUROCAST 2003»
15 years 3 months ago
Coloring of DT-MRI Fiber Traces Using Laplacian Eigenmaps
We propose a novel post processing method for visualization of fiber traces from DT-MRI data. Using a recently proposed non-linear dimensionality reduction technique, Laplacian ei...
Anders Brun, Hae-Jeong Park, Hans Knutsson, Carl-F...
PERCOM
2007
ACM
15 years 9 months ago
Sensor Scheduling for Optimal Observability Using Estimation Entropy
We consider sensor scheduling as the optimal observability problem for partially observable Markov decision processes (POMDP). This model fits to the cases where a Markov process ...
Mohammad Rezaeian