4894 search results - page 840 / 979 » Dynamic Abstraction Planning |
85
Voted
INFOCOM
1997
IEEE
15 years 2 months ago
1997
IEEE
Abstract—A multicast flow control framework for data traffic traversing both a wired and wireless network is proposed. Markov-modulated fluid (MMF) models are used for the rec...
POPL
1997
ACM
15 years 2 months ago
1997
ACM
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...
73
Voted
ICRE
1996
IEEE
15 years 2 months ago
1996
IEEE
This paper presents a method that can be used for the elicitation and speci cation of requirements and high-level design. It supports stakeholder-based modeling, rapid feasibility...
IWANN
1997
Springer
15 years 2 months ago
1997
Springer
Abstract. In this paper we adopt a temporal coding approach to neuronal modeling of the visual cortex, using oscillations. We propose a hierarchy of three processing modules corres...
82
Voted
ISMIS
1994
Springer
15 years 2 months ago
1994
Springer
Abstract: While the problem of incompletedata in databases has been extensively studied, a relatively unexplored form of uncertainty in databases, called inaccurate data, demands d...