6047 search results - page 642 / 1210 » Modeling with Extend |
227
click to vote
CHARME
2005
Springer
16 years 24 days ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
210
click to vote
BMCBI
2011
15 years 2 months ago
2011
Background: During meiosis, homologous chromosomes exchange segments via the formation of crossovers. This phenomenon is highly regulated; in particular, crossovers are distribute...
212
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we describe our approach to designing interface components that automate the logging of user input. These recorded logs of user-system interactions can serve as a b...
179
click to vote
ISI
2007
Springer
16 years 1 months ago
2007
Springer
— In this paper we define a new metric for quantifying the degree of anonymity collectively afforded to users of an anonymous communication system. We show how our metric, based...
168
click to vote
ISCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
— Motion-compensated temporal filtering (MCTF) is an open-loop prediction scheme, so the frame-level data reuse for MCTF is possible. In this paper, we propose two general frame...