2940 search results - page 290 / 588 » Relational Parametricity and Control |
155
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Backtracking is necessary when design alternatives are explored or dead ends are reached. Unfortunately, current approaches support chronological backtracking only (undo or versio...
160
click to vote
JOTA
2010
15 years 1 months ago
2010
A convenient form of necessary and sufficient conditions of viability for differential games with linear dynamics is proposed. These conditions are utilized to construct maximal vi...
244
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
—We demonstrate SWITCH, a deep embedding of relational queries into RUBY and RUBY on RAILS. With SWITCH, there is no syntactic or stylistic difference between RUBY programs that ...
186
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
This article presents a general approach for the active
stereo tracking of multiple moving targets. The problem is
formulated on the plane, where cameras are modeled as
”line ...
178
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
The successful deployment of a security policy is closely related not only to the complexity of the security requirements but also to the capabilities/functionalities of the secur...