2647 search results - page 162 / 530 » Solving Term Inequalities |
149
Voted
DAC
2006
ACM
16 years 5 months ago
2006
ACM
A novel method to solve the state encoding problem in Signal Transition Graphs is presented. It is based on the structural theory of Petri nets and can be applied to large specifi...
140
Voted
DAC
2006
ACM
16 years 5 months ago
2006
ACM
In this paper we present a new efficient algorithm for retiming sequential circuits with edge-triggered registers under both setup and hold constraints. Compared with the previous...
118
click to vote
ICML
2006
IEEE
16 years 5 months ago
2006
IEEE
When the transition probabilities and rewards of a Markov Decision Process are specified exactly, the problem can be solved without any interaction with the environment. When no s...
122
Voted
ISBI
2008
IEEE
16 years 5 months ago
2008
IEEE
A new method for estimating multivariate autoregressive (MVAR) models of cortical connectivity from surface EEG or MEG measurements is presented. Conventional approaches to this p...
122
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Finding the core members of a virtual community is an important problem in community analysis. Here we presented an simulated annealing algorithm to solve this problem by optimizi...