3828 search results - page 680 / 766 » Proof-Based System Engineering Using a Virtual System Model |
124
click to vote
ISM
2008
IEEE
15 years 8 months ago
2008
IEEE
Many multimedia applications rely on the computation of logarithms, for example, when estimating log-likelihoods for Gaussian Mixture Models. Knowing of the demand to compute loga...
148
Voted
CCS
2004
ACM
15 years 7 months ago
2004
ACM
Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy ...
107
Voted
CHI
2008
ACM
16 years 2 months ago
2008
ACM
We evaluate two systems for automatically generating personalized interfaces adapted to the individual motor capabilities of users with motor impairments. The first system, SUPPLE...
104
Voted
CORR
2010
Springer
15 years 26 days ago
2010
Springer
In this and the associated article BioBlender: A Software for Intuitive Representation of Surface Properties of Biomolecules [1], we present BioBlender as a complete instrument fo...
128
Voted
ECTEL
2007
Springer
15 years 8 months ago
2007
Springer
Currently national digital library of educational resources and services (DLE) for primary and secondary education is under implementation in Lithuania. The article aims to analyse...