2226 search results - page 144 / 446 » Computable Analysis via Representations |
194
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: RNAmute is an interactive Java application which, given an RNA sequence, calculates the secondary structure of all single point mutations and organizes them into categ...
192
click to vote
AUSFORENSICS
2004
15 years 8 months ago
2004
Password policies alone do not stand a chance of securing computer systems which rely on the use of secretbased, password authentication methods. The enforcement of "strong&q...
201
click to vote
AIED
2007
Springer
15 years 11 months ago
2007
Springer
This paper describes new techniques for assessing pedagogical discourse via threaded discussions that are based on an analysis of speech acts and course topics. The context is an u...
216
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...
156
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Component forensics is an emerging methodology for forensic analysis that aims at estimating the algorithms and parameters in each component of a digital device. This paper propos...