Sciweavers

4498 search results - page 66 / 900
» How to Invent Functions
Sort
View
ECSQARU
1999
Springer
13 years 12 months ago
An Alternative to Outward Propagation for Dempster-Shafer Belief Functions
Abstract. Given several Dempster-Shafer belief functions, the framework of valuation networks describes an efficient method for computing the marginal of the combined belief functi...
Norbert Lehmann, Rolf Haenni
IJON
2002
90views more  IJON 2002»
13 years 7 months ago
Linearly decodable functions from neural population codes
The population vector is a linear decoder for an ensemble of neurons, whose response properties are nonlinear functions of the input vector. However, previous analyses of this deco...
M. Brandon Westover, Chris Eliasmith, Charles H. A...
TROB
2002
151views more  TROB 2002»
13 years 7 months ago
A control Lyapunov function approach to multiagent coordination
In this paper, the multiagent coordination problem is studied. This problem is addressed for a class of robots for which control Lyapunov functions can be found. The main result is...
Petter Ögren, Magnus Egerstedt, Xiaoming Hu
DFG
2004
Springer
14 years 1 months ago
A Unifying Semantics for Sequential Function Charts
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastia...
DAC
2004
ACM
13 years 11 months ago
Probabilistic regression suites for functional verification
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
Shai Fine, Shmuel Ur, Avi Ziv