Sciweavers

3381 search results - page 273 / 677
» Extending Dependencies with Conditions
Sort
View
NN
1998
Springer
15 years 6 months ago
Multiple cusp bifurcations
The cusp bifurcation provides one of the simplest routes leading to bistability and hysteresis in neuron dynamics. We show that weakly connected networks of neurons near cusp bifu...
Eugene M. Izhikevich
PUC
2002
85views more  PUC 2002»
15 years 6 months ago
The Media Equation Does Not Always Apply: People are not Polite Towards Small Computers
: The Media Equation asserts that people treat and behave towards computers in much the same way as towards other people, for example regarding politeness. We report the results of...
Mikael Goldstein, Gunilla Alsiö, Jost Werdenh...
RAS
2002
115views more  RAS 2002»
15 years 6 months ago
Towards vision-based safe landing for an autonomous helicopter
Autonomous landing is a challenging problem for aerial robots. An autonomous landing manoeuver depends largely on two capabilities: the decision of where to land and the generatio...
Pedro J. Garcia-Pardo, Gaurav S. Sukhatme, James F...
SIAMCO
2010
93views more  SIAMCO 2010»
15 years 5 months ago
Small Gain Theorems for Large Scale Systems and Construction of ISS Lyapunov Functions
We consider a network consisting of n interconnected nonlinear subsystems. For each subsystem an ISS Lyapunov function is given that treats the other subsystems as independent inpu...
Sergey Dashkovskiy, Björn Sebastian Rüff...
VSTTE
2010
Springer
15 years 5 months ago
Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
Stan Rosenberg, Anindya Banerjee, David A. Naumann