4752 search results - page 103 / 951 » From computation models to models of provenance: the RWS app... |
CJ
2010
13 years 6 months ago
2010
an be used to abstract away from the physical reality by describing it as components that exist in discrete states with probabilistically invoked actions that change the state. The...
SAC
2010
ACM
14 years 3 months ago
2010
ACM
Current methods of estimating air quality involve assigning a single value called the Air Quality Index (AQI) to a large land area for a 24-hour period based on a very few, sparse...
ICCV
2011
IEEE
12 years 9 months ago
2011
IEEE
Our objective is transfer training of a discriminatively trained object category detector, in order to reduce the number of training images required. To this end we propose three ...
INFORMATICALT
2007
13 years 8 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
BCS
2008
13 years 10 months ago
2008
Despite over a century's study, the trigger mechanisms of cardiac arrhythmias are poorly understood. Even modern experimental methods do not provide sufficient temporal and s...