4480 search results - page 289 / 896 » Prototyping Completion with Constraints Using Computational ... |
163
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— In this paper we demonstrate how one can reformulate the MPC problem for LPV systems to a series of mpLPs by a closed-loop minimax MPC algorithm based on dynamic progra...
177
click to vote
PPOPP
2009
ACM
16 years 1 months ago
2009
ACM
Abstract. Transactional memory (TM) promises to simplify construction of parallel applications by allowing programmers to reason about interactions between concurrently executing c...
179
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Distributed applications involving mobile devices interconnected by wireless networks may benefit both from multiagent technology and context-aware programming techniques. This ar...
154
click to vote
BIRTHDAY
2005
Springer
16 years 4 days ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
261
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Active range acquisition systems such as light detection and ranging (LIDAR) and time-of-flight (TOF) cameras achieve high depth resolution but suffer from poor spatial resolutio...