14190 search results - page 2774 / 2838 » Abstractions for hybrid systems |
108
click to vote
PAKDD
2009
ACM
15 years 2 months ago
2009
ACM
Abstract. Over the last decade several prediction methods have been developed for determining structural and functional properties of individual protein residues using sequence and...
ACISP
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Many algorithmic problems, which are used to prove the security of a cryptographic system, are shown to be characterized as the subgroup membership problem. We then apply...
CCO
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. We study in this lecture the literature on mixed integer programming models and formulations for a specific problem class, namely deterministic production planning probl...
IWDC
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Endpoint admission control is a mechanism for achieving scalable services by pushing quality-of-service functionality to end hosts. In particular, hosts probe the network...
107
click to vote
NEUROSCIENCE
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. A general principle of cortical architecture is the bidirectional flow of information along feedforward and feedback connections. In the feedforward path, converging con...