36320 search results - page 182 / 7264 » From Code to Models |
190
click to vote
EMSOFT
2011
Springer
14 years 6 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
149
click to vote
NIPS
2007
15 years 7 months ago
2007
Maximum entropy analysis of binary variables provides an elegant way for studying the role of pairwise correlations in neural populations. Unfortunately, these approaches suffer f...
187
click to vote
BIOINFORMATICS
2012
13 years 8 months ago
2012
Summary: The MolClass toolkit and data portal generates computational models from user-defined small molecule datasets based on structural features identified in hit and non-hit m...
160
click to vote
ASM
2004
ASM
15 years 12 months ago
2004
ASM
tographic Abstract Machine Dean Rosenzweig and Davor Runje University of Zagreb The Cryptographic Abstract Machine is an executional model of cryptographic actions, independent of ...
200
click to vote
ICMCS
2006
IEEE
16 years 15 days ago
2006
IEEE
This paper focuses on the mode decision and motion selection problem when H.264/AVC video streams are transcoded in spatial resolution. A fast downsizing transcoding scheme is dev...