8232 search results - page 1449 / 1647 » Dynamic Logic Programming |
168
click to vote
SIGECOM
2009
ACM
16 years 25 days ago
2009
ACM
In the context of auctions for digital goods, an interesting Random Sampling Optimal Price auction (RSOP) has been proposed by Goldberg, Hartline and Wright; this leads to a truth...
173
Voted
AICCSA
2008
IEEE
16 years 25 days ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
129
Voted
CDC
2008
IEEE
16 years 24 days ago
2008
IEEE
— The voice-coil-motor is a widely used mechatronic device, which represents a typical electrodynamic actuator for machine tool axes, bonding machines and hydraulic/pneumatic val...
145
click to vote
CDC
2008
IEEE
16 years 24 days ago
2008
IEEE
We consider a networked control system, where each subsystem evolves as a Markov decision process (MDP). Each subsystem is coupled to its neighbors via communication links over wh...
161
click to vote
CDC
2008
IEEE
16 years 24 days ago
2008
IEEE
— The goal of this paper is to develop modeling techniques for complex systems for the purposes of control, estimation, and inference: (i) A new class of Hidden Markov Models is ...