Sciweavers

5608 search results - page 823 / 1122
» Structure description tools
Sort
View
AUTOMATICA
2004
138views more  AUTOMATICA 2004»
15 years 6 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 6 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...
COMSIS
2004
110views more  COMSIS 2004»
15 years 6 months ago
Generating XML Based Specifications of Information Systems
This paper outlines a methodology for designing information systems based on XML. The methodology uses XML DTDs to define the design standards, and the structure and constraints of...
Miro Govedarica, Ivan Lukovic, Pavle Mogin
COLING
2002
15 years 6 months ago
Learning Chinese Bracketing Knowledge Based on a Bilingual Language Model
This paper proposes a new method for automatic acquisition of Chinese bracketing knowledge from English-Chinese sentencealigned bilingual corpora. Bilingual sentence pairs are fir...
Yajuan Lü, Sheng Li, Tiejun Zhao, Muyun Yang
CORR
2002
Springer
123views Education» more  CORR 2002»
15 years 6 months ago
Ideal decompositions and computation of tensor normal forms
Abstract. Symmetry properties of r-times covariant tensors T can be described by certain linear subspaces W of the group ring K[Sr] of a symmetric group Sr. If for a class of tenso...
Bernd Fiedler