Sciweavers

2632 search results - page 108 / 527
» Predictive Representations of State
Sort
View
ISCAS
2005
IEEE
196views Hardware» more  ISCAS 2005»
14 years 3 months ago
Arbitrary scale image enlargement with the prediction of high frequency components
Abstract— In this paper, we propose an arbitrary scale enlargement method of digital images based on the Laplacian pyramid (LP) representation. Through the calculation of the arb...
Shuai Yuan, Akira Taguchi, Masayuki Kawamata
OOPSLA
2009
Springer
14 years 4 months ago
Typestate-oriented programming
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Z...
BMCBI
2008
117views more  BMCBI 2008»
13 years 10 months ago
Using a logical model to predict the growth of yeast
Background: A logical model of the known metabolic processes in S. cerevisiae was constructed from iFF708, an existing Flux Balance Analysis (FBA) model, and augmented with inform...
Ken E. Whelan, Ross D. King
ECBS
1999
IEEE
138views Hardware» more  ECBS 1999»
14 years 2 months ago
Multi-Domain Surety Modeling and Analysis for High Assurance Systems
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
James Davis, Jason Scott, Janos Sztipanovits, Marc...
AI
2011
Springer
13 years 5 months ago
Bounded approximate decentralised coordination via the max-sum algorithm
In this paper we propose a novel approach to decentralised coordination, that is able to efficiently compute solutions with a guaranteed approximation ratio. Our approach is base...
Alex Rogers, Alessandro Farinelli, Ruben Stranders...