Sciweavers

1829 search results - page 63 / 366
» Towards Validation of Requirements Models
Sort
View
BIRTHDAY
2005
Springer
15 years 5 months ago
Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...
Michael Beetz
SIGSOFT
2005
ACM
16 years 17 days ago
Towards a unified formal model for supporting mechanisms of dynamic component update
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
Junrong Shen, Xi Sun, Gang Huang, Wenpin Jiao, Yan...
ISMIR
2001
Springer
108views Music» more  ISMIR 2001»
15 years 4 months ago
Towards a Cognitive Model of Melodic Similarity
In recent years the interest in melodic similarity has mushroomed mainly due to the increased importance of music information retrieval (MIR). A great number of similarity models ...
Ludger Hofmann-Engl
ENTCS
2010
133views more  ENTCS 2010»
14 years 12 months ago
Towards Measurable Types for Dynamical Process Modeling Languages
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
Eric Mjolsness
IRI
2009
IEEE
15 years 6 months ago
Towards a General Entity Representation Model
In recent years, there is an increasing interest in the Semantic Web and the relevant technologies, which can have a significant impact in the context of information and knowledge...
Barbara Bazzanella, Themis Palpanas, Heiko Stoerme...