1319 search results - page 131 / 264 » Recursive Random Fields |
157
click to vote
QEST
2007
IEEE
15 years 9 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
111
Voted
FPL
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we propose a placement method for islandstyle FPGAs, based on recursive bi-partitioning followed by application of space-filling curves. Experimental results of ou...
133
Voted
ICAPR
2005
Springer
15 years 9 months ago
2005
Springer
The RW algorithm has been proposed recently to solve the exact graph matching problem. This algorithm exploits Random Walk theory to compute a topological signature which can be u...
138
click to vote
AAAI
2006
15 years 4 months ago
2006
We propose two new online methods for estimating the size of a backtracking search tree. The first method is based on a weighted sample of the branches visited by chronological ba...
129
Voted
ASPDAC
2009
ACM
15 years 4 months ago
2009
ACM
Efficient data indexing is significant to embedded devices, because both CPU cycles and energy are very precious resources. Soft lists, a new index structure for embedded devices w...