Sciweavers

3618 search results - page 290 / 724
» Additive functions for number systems in function fields
Sort
View
ICADL
2005
Springer
92views Education» more  ICADL 2005»
15 years 11 months ago
Choosing Appropriate Peer-to-Peer Infrastructure for Your Digital Libraries
Peer-to-Peer (P2P) overlay network aims to be a feasible platform for building federated but autonomous digital libraries. However, due to a plethora number of P2P infrastructures ...
Hao Ding, Ingeborg Sølvberg
CDC
2010
IEEE
15 years 1 months ago
Stability robustness in the presence of exponentially unstable isolated equilibria
This note studies nonlinear systems evolving on manifolds with a finite number of asymptotically stable equilibria and a Lyapunov function which strictly decreases outside equilibr...
David Angeli, Laurent Praly
170
Voted
ECCV
2004
Springer
15 years 11 months ago
Ultrasound Stimulated Vibro-acoustography
ABSTRACT We describe theoretical principles of an imaging modality that uses the acoustic response of an object to a highly localized dynamic radiation force of an ultrasound field...
James F. Greenleaf, Mostafa Fatemi, Marek Belohlav...
ICML
2002
IEEE
16 years 7 months ago
Reinforcement Learning and Shaping: Encouraging Intended Behaviors
We explore dynamic shaping to integrate our prior beliefs of the final policy into a conventional reinforcement learning system. Shaping provides a positive or negative artificial...
Adam Laud, Gerald DeJong
POPL
2009
ACM
16 years 6 months ago
Automatic modular abstractions for linear constraints
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
David Monniaux