Sciweavers

4702 search results - page 63 / 941
» How to Copyright a Function
Sort
View
IJON
2002
90views more  IJON 2002»
15 years 7 days 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...
116
Voted
TROB
2002
151views more  TROB 2002»
15 years 6 days 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
15 years 6 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
15 years 4 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
102
Voted
DAGSTUHL
2006
15 years 2 months ago
Towards UML Modelling Extra-Functional Properties in Web Services and their Clients
Web Services provide our systems with a platform independent and loosely coupled implementation environment, being time to face how the named systems can be modelled. Service Compo...
Guadalupe Ortiz, Juan Hernández