Sciweavers

4084 search results - page 630 / 817
» Constraints in spatial structures
Sort
View
TOPNOC
2008
15 years 3 months ago
Time Recursive Petri Nets
Recursive Petri Nets (RPNs) allow to design and analyze complex discrete event systems. Indeed, RPNs enable to model patterns of discrete event systems related to the dynamic struc...
Djaouida Dahmani, Jean-Michel Ilié, Malika ...
143
Voted
KAIS
2007
75views more  KAIS 2007»
15 years 3 months ago
Non-redundant data clustering
Data clustering is a popular approach for automatically finding classes, concepts, or groups of patterns. In practice this discovery process should avoid redundancies with existi...
David Gondek, Thomas Hofmann
145
Voted
AUTOMATICA
2004
138views more  AUTOMATICA 2004»
15 years 3 months ago
Decentralized overlapping control of a formation of unmanned aerial vehicles
Decentralized overlapping feedback laws are designed for a formation of unmanned aerial vehicles. The dynamic model of the formation with an information structure constraint in wh...
Dusan M. Stipanovic, Gökhan Inalhan, Rodney T...
CL
2004
Springer
15 years 3 months ago
Nesting analysis of mobile ambients
A new algorithm is introduced for analyzing possible nestings in mobile ambient calculus. It improves both time and space complexities of the technique proposed by Nielson and Sei...
Chiara Braghin, Agostino Cortesi, Riccardo Focardi...
CN
2004
103views more  CN 2004»
15 years 3 months ago
Providing end-to-end service level agreements across multiple ISP networks
Due to the autonomous nature of ISPs, the service level agreement (SLA) offering is currently confined to within a single provider network. In this work, we examine some methods o...
Panita Pongpaibool, Hyong S. Kim