Sciweavers

4022 search results - page 332 / 805
» Adaptive Sweeping Techniques
Sort
View
HCI
2009
15 years 5 months ago
Specifying the Representation of Non-geometric Information in 3D Virtual Environments
In 3D virtual environments (3DVE), we need to know what an object looks like (i.e. geometric information) and what the object is, what are its properties and characteristics and ho...
Kaveh Bazargan, Gilles Falquet
292
Voted
POPL
2008
ACM
16 years 7 months ago
Subcubic algorithms for recursive state machines
We show that the reachability problem for recursive state machines (or equivalently, pushdown systems), believed for long to have cubic worst-case complexity, can be solved in sli...
Swarat Chaudhuri
ISCAS
2006
IEEE
85views Hardware» more  ISCAS 2006»
16 years 1 months ago
Power-adaptive operational amplifier with positive-feedback self biasing
Abstract—This paper introduces a positive-feedback selfbiasing technique for operational amplifiers (op-amps) which enables their power consumption to adapt to their environment:...
Byungsub Kim, Soumyajit Mandal, Rahul Sarpeshkar
177
Voted
ISCAS
2003
IEEE
108views Hardware» more  ISCAS 2003»
16 years 22 days ago
Applications of nonlinear dynamics to the turbo decoding algorithm
In this paper, we treat the turbo decoding algorithm as a dynamical system parameterized by the SNR (signal-to-noise ratio). A whole range of nonlinear phenomena, including chaos ...
Ljupco Kocarev, Zarko Tasev, Gian Mario Maggio
LICS
1999
IEEE
15 years 11 months ago
The Higher-Order Recursive Path Ordering
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by adapting the recursive path ordering definition to terms of a typed ...
Jean-Pierre Jouannaud, Albert Rubio