Sciweavers

10707 search results - page 405 / 2142
» Designing executable abstractions
Sort
View
CDC
2009
IEEE
125views Control Systems» more  CDC 2009»
15 years 8 months ago
Finite-time tracking controller design for a general class of nonholonomic systems
Abstract— A design scheme of the finite-time tracking controller is given for a general class of nonholonomic systems including extended chained systems, extended power systems,...
Yuqiang Wu, Ruiying Yuan, Xiuyun Zheng
APPROX
2008
Springer
107views Algorithms» more  APPROX 2008»
15 years 7 months ago
A General Framework for Designing Approximation Schemes for Combinatorial Optimization Problems with Many Objectives Combined in
Abstract. In this paper, we propose a general framework for designing fully polynomial time approximation schemes for combinatorial optimization problems, in which more than one ob...
Shashi Mittal, Andreas S. Schulz
ICAISC
2010
Springer
15 years 7 months ago
Computer Assisted Peptide Design and Optimization with Topology Preserving Neural Networks
Abstract. We propose a non-standard neural network called TPNN which offers the direct mapping from a peptide sequence to a property of interest in order to model the quantitative ...
Jörg D. Wichard, Sebastian Bandholtz, Carsten...
ISTA
2008
15 years 6 months ago
Integration - Reflections on a Pivotal Concept for Designing and Evaluating Information Systems
Abstract. Integration is one of the pivotal concepts with respect to analyzing, designing and evaluating information systems. Integrating software components as well as integrating...
Ulrich Frank
OWLED
2008
15 years 6 months ago
The OWL in the CASL - Designing Ontologies Across Logics
Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...
Oliver Kutz, Dominik Lücke, Till Mossakowski,...