6020 search results - page 172 / 1204 » A New Approach to Model Counting |
144
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Transcriptional gene regulation is one of the most important mechanisms in controlling many essential cellular processes, including cell development, cell-cycle contro...
149
click to vote
CDC
2008
IEEE
2008
IEEE
An ensemble Kalman filtering approach to highway traffic estimation using GPS enabled mobile devices
15 years 4 months ago
Traffic state estimation is a challenging problem for the transportation community due to the limited deployment of sensing infrastructure. However, recent trends in the mobile pho...
146
click to vote
IPMI
2005
Springer
15 years 10 months ago
2005
Springer
Many types of transformations are used to model deformations in medical image registration. While some focus on modeling local changes, some on continuity and invertibility, there ...
137
click to vote
EMSOFT
2001
Springer
15 years 9 months ago
2001
Springer
The ability to incorporate low-power, wireless communication into embedded devices gives rise to a new genre of embedded software that is distributed, dynamic, and adaptive. This p...
120
click to vote
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...