1461 search results - page 113 / 293 » On Regular Reduced Products |
LICS
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper we generalize the contraction method, originally proposed by Elgot and Rabin and later extended by Carton and Thomas, from labeled linear orderings to colored determ...
AIMS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We discuss an approach to reducing the number of events accepted by anomaly detection systems, based on alternative schemes for interest-ranking. The basic assumption is ...
IFIP
2007
Springer
14 years 3 months ago
2007
Springer
The paper deals with the numerical treatment of optimal control problems with bounded distributed controls and elliptic state equations by a wider class of barrier-penalty methods...
BROADNETS
2006
IEEE
14 years 3 months ago
2006
IEEE
— This paper presents the design and dimensioning optimization of a novel optical network structure, called the Petaweb, having a total capacity of several Pb/s (1015 bit/s). Its...
IJCNN
2006
IEEE
14 years 3 months ago
2006
IEEE
— It is a challenging task for multiple robots working together to realize object transportation. This paper studies a practical situation that a group of mobile manipulators are...