3828 search results - page 680 / 766 » Proof-Based System Engineering Using a Virtual System Model |
143
Voted
ISM
2008
IEEE
15 years 11 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...
179
click to vote
CCS
2004
ACM
15 years 10 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 ...
136
click to vote
CHI
2008
ACM
16 years 5 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...
124
click to vote
CORR
2010
Springer
15 years 3 months 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...
149
click to vote
ECTEL
2007
Springer
15 years 11 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...