3818 search results - page 223 / 764 » Word Problems on Compressed Words |
162
click to vote
MKM
2009
Springer
16 years 1 months ago
2009
Springer
Representation theory is a branch of algebra that allows the study of groups through linear applications, i.e. matrices. Thus problems in abstract groups can be reduced to problems...
110
click to vote
ICRA
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract— We consider trajectory planning within the frameworks of optimal control and harmonic control. We present a formal evidence, in the continuous domain and in a standard ...
137
click to vote
LICS
2006
IEEE
16 years 16 days ago
2006
IEEE
In this paper, we consider the control of general hybrid systems. In this context we show that time-abstract bisimulation is not adequate for solving such a problem. That is why w...
159
click to vote
CRYPTO
2005
Springer
16 years 1 days ago
2005
Springer
In this paper we present a practical heuristic attack on the Ko, Lee et al. key exchange protocol introduced at Crypto 2000 [10]. One of the ideas behind our attack is using Dehorn...
157
click to vote
IFIP
2001
Springer
15 years 11 months ago
2001
Springer
: In the field of co-simulation, the construction of a bridge between different simulators and the solution of problems like synchronization and data translation are some of the ma...