Sciweavers

2216 search results - page 63 / 444
» Hedging Structured Concepts
Sort
View
VSTTE
2005
Springer
15 years 10 months ago
Reasoning about Object Structures Using Ownership
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
Peter Müller
CDC
2009
IEEE
227views Control Systems» more  CDC 2009»
15 years 8 months ago
A graph-theoretic characterization of structural controllability for multi-agent system with switching topology
This paper considers the controllability problem for multi-agent systems. In particular, the structural controllability of multi-agent systems with a single leader under switching ...
Xiaomeng Liu, Hai Lin, Ben M. Chen
LREC
2010
176views Education» more  LREC 2010»
15 years 6 months ago
LAF/GrAF-grounded Representation of Dependency Structures
This paper shows that a LAF/GrAF-based annotation schema can be used for the adequate representation of syntactic dependency structures in many languages. We first argue that ther...
Yoshihiko Hayashi, Thierry Declerck, Chiharu Naraw...
DAC
2005
ACM
16 years 5 months ago
Systematic development of analog circuit structural macromodels through behavioral model decoupling
This paper presents a systematic methodology to create customized structural macromodels for a specific analog circuit. The novel contributions of the method include definition of...
Ying Wei, Alex Doboli
AE
2005
Springer
15 years 10 months ago
An Enhanced Genetic Algorithm for Protein Structure Prediction Using the 2D Hydrophobic-Polar Model
This paper presents an enhanced genetic algorithm for the protein structure prediction problem. A new fitness function, that uses the concept of radius of gyration, is proposed. Al...
Heitor S. Lopes, Marcos P. Scapin