11808 search results - page 2131 / 2362 » Isometries and Computability Structures |
174
click to vote
RV
2010
Springer
15 years 4 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
174
click to vote
SAS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...
181
click to vote
TCS
2010
15 years 4 months ago
2010
Cops and Robbers is a pursuit and evasion game played on graphs that has received much attention. We consider an extension of Cops and Robbers, distance k Cops and Robbers, where t...
193
click to vote
CVPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Mirrors have been used to enable wide field-of-view (FOV) catadioptric imaging. The mapping between the incoming and reflected light rays depends non-linearly on the mirror shape ...
163
click to vote
IMCSIT
2010
15 years 4 months ago
2010
The portfolio optimization problem is modeled as a mean-risk bicriteria optimization problem where the expected return is maximized and some (scalar) risk measure is minimized. In ...