7778 search results - page 394 / 1556 » Designing Controllers for Reachability |
152
click to vote
IDA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract Deciding which computer architecture provides the best performance for a certain program is an important problem in hardware design and benchmarking. While previous approa...
180
click to vote
NANONET
2009
Springer
15 years 11 months ago
2009
Springer
We present a vision and preliminary results for a combined RF-Biological Systems where the Electro-Magnetic energy of RF signals is transduced into control-signals for biological s...
147
click to vote
TARK
2009
Springer
15 years 11 months ago
2009
Springer
We introduce a logic designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent prefere...
168
click to vote
ICMCS
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we present a regularization approach on discrete graph spaces for perceptual image segmentation via semisupervised learning. In this approach, first, a spectral cl...
136
click to vote
CSFW
2006
IEEE
15 years 11 months ago
2006
IEEE
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...