Sciweavers

2672 search results - page 22 / 535
» Hybridizing Concept Languages
Sort
View
DNA
2006
Springer
13 years 11 months ago
Hairpin Structures Defined by DNA Trajectories
We examine scattered hairpins, which are structures formed when a single strand of nucleotides folds into a partially hybridized stem and a loop. To specify different classes of h...
Michael Domaratzki
WSC
1997
13 years 8 months ago
A Simulation Environment for the Coordinated Operation of Multiple Autonomous Underwater Vehicles
A simulation environment of the coordinated operation of multiple Autonomous Underwater Vehicles (AUVs) is presented. The primary application of this simulation environment is the...
João Borges de Sousa, Aleks Göllü
LWA
2008
13 years 9 months ago
Hybrid Personalization For Recommendations
In this paper we present the concept of hybrid personalization, the combination of multiple atomic personalization mechanisms. The idea of hybrid personalization is related to hyb...
Eelco Herder, Philipp Kärger
HYBRID
2003
Springer
14 years 22 days ago
Model Checking LTL over Controllable Linear Systems Is Decidable
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
Paulo Tabuada, George J. Pappas
UML
2005
Springer
14 years 1 months ago
Extending Profiles with Stereotypes for Composite Concepts
Abstract. This paper proposes an extension of the UML 2.0 profiling mechanism. This extension facilitates a language designer to introduce composite concepts as separate conceptual...
Dick A. C. Quartel, Remco M. Dijkman, Marten van S...