Sciweavers

142 search results - page 24 / 29
» State Elimination Ordering Strategies: Some Experimental Res...
Sort
View
HYBRID
2010
Springer
15 years 4 months ago
Accurate hybridization of nonlinear systems
This paper is concerned with reachable set computation for non-linear systems using hybridization. The essence of hybridization is to approximate a non-linear vector field by a s...
Thao Dang, Oded Maler, Romain Testylier
ATAL
2009
Springer
15 years 4 months ago
Altruism and agents: an argumentation based approach to designing agent decision mechanisms
We present an argument-based qualitative decision-making framework in which the social values promoted or demoted by alternative action-options are explicitly represented. We show...
Trevor J. M. Bench-Capon, Katie Atkinson, Peter Mc...
IOR
2011
96views more  IOR 2011»
14 years 4 months ago
On the Minimax Complexity of Pricing in a Changing Environment
We consider a pricing problem in an environment where the customers’ willingness-to-pay (WtP) distribution may change at some point over the selling horizon. Customers arrive se...
Omar Besbes, Assaf J. Zeevi
3DIM
2011
IEEE
13 years 9 months ago
Sampling Relevant Points for Surface Registration
—Surface registration is a fundamental step in the reconstruction of three-dimensional objects. This is typically a two-step process where an initial coarse motion estimation is ...
Andrea Torsello, Emanuele Rodolà, Andrea Al...
VLSID
2002
IEEE
127views VLSI» more  VLSID 2002»
15 years 10 months ago
Switching Activity Estimation of Large Circuits using Multiple Bayesian Networks
Switching activity estimation is a crucial step in estimating dynamic power consumption in CMOS circuits. In [1], we proposed a new switching probability model based on Bayesian N...
Sanjukta Bhanja, N. Ranganathan