Sciweavers

4100 search results - page 378 / 820
» General Linear Cameras
Sort
View
165
Voted
ISNN
2005
Springer
16 years 11 days ago
Exponential Stability Analysis of Neural Networks with Multiple Time Delays
This paper considers the robust stability of neural networks with multiple delays. Based on Lyapunov stability theory and linear matrix inequality technique, some new delay indepe...
Huaguang Zhang, Zhanshan Wang, Derong Liu
223
Voted
MFCS
2005
Springer
16 years 11 days ago
Greedy Approximation via Duality for Packing, Combinatorial Auctions and Routing
We study simple greedy approximation algorithms for general class of integer packing problems. We provide a novel analysis based on the duality theory of linear programming. This e...
Piotr Krysta
APN
2004
Springer
16 years 8 days ago
LTL Model Checking for Modular Petri Nets
We consider the problem of model checking modular Petri nets for the linear time logic LTL-X. An algorithm is presented which can use the synchronisation graph from modular analysi...
Timo Latvala, Marko Mäkelä
ASIACRYPT
2004
Springer
16 years 8 days ago
The XL-Algorithm and a Conjecture from Commutative Algebra
The “XL-algorithm” is a computational method to solve overdetermined systems of polynomial equations which is based on a generalization of the well-known method of linearizatio...
Claus Diem
IUI
2003
ACM
16 years 3 days ago
Power tools and composite tools: integrating automation with direct manipulation
This paper describes a drawing system that incorporates two novel interaction techniques based on analogies to physical tools. Power tools add limited autonomy in the form of rota...
John M. Daughtry, Robert St. Amant