Sciweavers

3335 search results - page 464 / 667
» A Unified Approach to Modeling and Programming
Sort
View
ENTCS
2006
154views more  ENTCS 2006»
15 years 6 months ago
Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
Pascal Sotin, David Cachera, Thomas P. Jensen
JAIR
2006
122views more  JAIR 2006»
15 years 6 months ago
Solving Factored MDPs with Hybrid State and Action Variables
Efficient representations and solutions for large decision problems with continuous and discrete variables are among the most important challenges faced by the designers of automa...
Branislav Kveton, Milos Hauskrecht, Carlos Guestri...
CCE
2004
15 years 6 months ago
Part II. Future perspective on optimization
Following from part I, which presents a retrospective on optimization, we focus here on areas that are recent active research topics and are likely to strongly influence the futur...
Ignacio E. Grossmann, Lorenz T. Biegler
TSMC
2008
177views more  TSMC 2008»
15 years 4 months ago
Adaptive Critic Learning Techniques for Engine Torque and Air-Fuel Ratio Control
A new approach for engine calibration and control is proposed. In this paper, we present our research results on the implementation of adaptive critic designs for self-learning con...
Derong Liu, Hossein Javaherian, Olesia Kovalenko, ...
EMNLP
2009
15 years 4 months ago
Feature-Rich Translation by Quasi-Synchronous Lattice Parsing
We present a machine translation framework that can incorporate arbitrary features of both input and output sentences. The core of the approach is a novel decoder based on lattice...
Kevin Gimpel, Noah A. Smith