1527 search results - page 211 / 306 » What About Wednesday |
142
click to vote
PERSUASIVE
2009
Springer
16 years 10 days ago
2009
Springer
This paper presents a new way of categorizing behavior change in a framework called the Behavior Grid. This preliminary work shows 35 types of behavior along two categorical dimen...
184
click to vote
TARK
2009
Springer
16 years 10 days ago
2009
Springer
In numerous economic scenarios, contracting parties may not have a clear picture of all the relevant aspects. While confronted with these unawareness issues, the strategic decisio...
142
click to vote
ISSTA
2009
ACM
16 years 10 days ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
146
click to vote
CDC
2008
IEEE
16 years 8 days 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...
152
click to vote
CIMCA
2008
IEEE
16 years 8 days ago
2008
IEEE
A relatively new technique for measuring the 3D structure of visual scenes is provided by time of flight (TOF) cameras. Reflections of modulated light waves are recorded by a pa...