Results 1  10
of
4,952
Optimization Flow Control, I: Basic Algorithm and Convergence
 IEEE/ACM TRANSACTIONS ON NETWORKING
, 1999
"... We propose an optimization approach to flow control where the objective is to maximize the aggregate source utility over their transmission rates. We view network links and sources as processors of a distributed computation system to solve the dual problem using gradient projection algorithm. In thi ..."
Abstract

Cited by 694 (64 self)
 Add to MetaCart
at different times and with different frequencies. We provide asynchronous distributed algorithms and prove their convergence in a static environment. We present measurements obtained from a preliminary prototype to illustrate the convergence of the algorithm in a slowly timevarying environment.
Preliminary design of jml: a behavioral interface specification language for java
 SIGSOFT Softw. Eng. Notes
"... Abstract JML is a behavioral interface specification language tailored to Java(TM). Besides preand postconditions, it also allows assertions to be intermixed with Java code; these aid verification and debugging. JML is designed to be used by working software engineers; to do this it follows Eiffel ..."
Abstract

Cited by 476 (40 self)
 Add to MetaCart
conditions. This paper discusses the goals of JML, the overall approach, and describes the basic features of the language through examples. It is intended for readers who have some familiarity with both Java and behavioral specification using preand postconditions.
A Bayesian method for the induction of probabilistic networks from data
 MACHINE LEARNING
, 1992
"... This paper presents a Bayesian method for constructing probabilistic networks from databases. In particular, we focus on constructing Bayesian belief networks. Potential applications include computerassisted hypothesis testing, automated scientific discovery, and automated construction of probabili ..."
Abstract

Cited by 1400 (31 self)
 Add to MetaCart
of probabilistic expert systems. We extend the basic method to handle missing data and hidden (latent) variables. We show how to perform probabilistic inference by averaging over the inferences of multiple belief networks. Results are presented of a preliminary evaluation of an algorithm for constructing a belief
Notes On Formalizing Context
, 1993
"... These notes discuss formalizing contexts as first class objects. The basic relation is ist(c; p). It asserts that the proposition p is true in the context c. The most important formulas relate the propositions true in different contexts. Introducing contexts as formal objects will permit axiomatizat ..."
Abstract

Cited by 417 (9 self)
 Add to MetaCart
These notes discuss formalizing contexts as first class objects. The basic relation is ist(c; p). It asserts that the proposition p is true in the context c. The most important formulas relate the propositions true in different contexts. Introducing contexts as formal objects will permit
A Correspondence Theory for Terminological Logics: Preliminary Report
 In Proc. of IJCAI91
, 1991
"... We show that the terminological logic ALC comprising Boolean operations on concepts and value restrictions is a notational variant of the propositional modal logic K (m) . To demonstrate the utility of the correspondence, we give two of its immediate byproducts. Namely, we axiomatize ALC and give a ..."
Abstract

Cited by 307 (0 self)
 Add to MetaCart
We show that the terminological logic ALC comprising Boolean operations on concepts and value restrictions is a notational variant of the propositional modal logic K (m) . To demonstrate the utility of the correspondence, we give two of its immediate byproducts. Namely, we axiomatize ALC and give
Précis of "The number sense"
"... Number sense " is a shorthand for our ability to quickly understand, approximate, and manipulate numerical quantities. My hypothesis is that number sense rests on cerebral circuits that have evolved specifically for the purpose of representing basic arithmetic knowledge. Four lines of evidence ..."
Abstract

Cited by 313 (25 self)
 Add to MetaCart
Number sense " is a shorthand for our ability to quickly understand, approximate, and manipulate numerical quantities. My hypothesis is that number sense rests on cerebral circuits that have evolved specifically for the purpose of representing basic arithmetic knowledge. Four lines
A metanotation for protocol analysis
 in: Proc. CSFW’99
, 1999
"... Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the “DolevYao model. ” In this paper, we use a multiset rewriting formalism, based on linear logic, to state the basic assumptions of this model. A characteristic of our formalism is the w ..."
Abstract

Cited by 166 (38 self)
 Add to MetaCart
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the “DolevYao model. ” In this paper, we use a multiset rewriting formalism, based on linear logic, to state the basic assumptions of this model. A characteristic of our formalism
Issues in Evolutionary Robotics
, 1992
"... In this paper we propose and justify a methodology for the development of the control systems, or `cognitive architectures', of autonomous mobile robots. We argue that the design by hand of such control systems becomes prohibitively difficult as complexity increases. We discuss an alternative a ..."
Abstract

Cited by 272 (33 self)
 Add to MetaCart
approach, involving artificial evolution, where the basic building blocks for cognitive architectures are adaptive noisetolerant dynamical neural networks, rather than programs. These networks may be recurrent, and should operate in real time. Evolution should be incremental, using an extended
NOTATION
, 1983
"... Preliminary study on gravel sedimentation was conducted in a recirculating flume. A 53 0 8 ' Vnotch was used in the experiment. This paper describes the results obtained by this flowmeasuring device and compares it with that of the incorporated flow meter of the flume. The results showed only ..."
Abstract
 Add to MetaCart
Preliminary study on gravel sedimentation was conducted in a recirculating flume. A 53 0 8 ' Vnotch was used in the experiment. This paper describes the results obtained by this flowmeasuring device and compares it with that of the incorporated flow meter of the flume. The results showed
NOTATION
"... This paper presents estimation models for the modelbased preliminary design of electromechanical actuators. Models are developed to generate all the parameters required by a multiobjective design, from a limited number of input parameters. This is achieved by using scaling laws in order to take a ..."
Abstract
 Add to MetaCart
This paper presents estimation models for the modelbased preliminary design of electromechanical actuators. Models are developed to generate all the parameters required by a multiobjective design, from a limited number of input parameters. This is achieved by using scaling laws in order to take
Results 1  10
of
4,952