2152 search results - page 286 / 431 » A Framework for Modeling DNA Based Molecular Systems |
170
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We present a methodology for the real time alignment of music signals using sequential Montecarlo inference techniques. The alignment problem is formulated as the state tracking o...
190
click to vote
RSCTC
2004
Springer
15 years 11 months ago
2004
Springer
We address the problem of rough applicability of rules within the framework of approximation spaces. The graded applicability of a rule for an object of an approximation space, int...
168
click to vote
CLIMA
2010
15 years 8 months ago
2010
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantif...
216
click to vote
CSREAESA
2006
15 years 7 months ago
2006
- We present a software tool for high-level design and analysis of large-scale embedded real-time software, which has been integrated into a vehicle control platform development to...
174
click to vote
EL
2008
15 years 6 months ago
2008
Purpose: Examines the needs of digital library stakeholders and how a collaborative digital library might be designed to meet these needs. The collaborative digital library has be...