Sciweavers

10406 search results - page 460 / 2082
» Using RDF to Model the Structure and Process of Systems
Sort
View
SAC
2009
ACM
16 years 1 months ago
LTS semantics for use case models
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
GECCO
2006
Springer
190views Optimization» more  GECCO 2006»
15 years 10 months ago
Design synthesis of microelectromechanical systems using genetic algorithms with component-based genotype representation
An automated design synthesis system based on a multi-objective genetic algorithm (MOGA) has been developed for the optimization of surface-micromachined MEMS devices. A hierarchi...
Ying Zhang, Raffi R. Kamalian, Alice M. Agogino, C...
TSP
2010
15 years 29 days ago
Tensor algebra and multidimensional harmonic retrieval in signal processing for MIMO radar
Detection and estimation problems in multiple-input multiple-output (MIMO) radar have recently drawn considerable interest in the signal processing community. Radar has long been a...
Dimitri Nion, Nicholas D. Sidiropoulos
148
Voted
ASAP
2003
IEEE
115views Hardware» more  ASAP 2003»
15 years 11 months ago
Context-Aware Process Networks
— In industry, embedded systems for stream-based processing are often modelled and verified by using process networks, such as Kahn process networks. An advantage of Kahn networ...
Hylke W. van Dijk, Henk J. Sips, Ed F. Deprettere
AIED
2005
Springer
15 years 11 months ago
The Use of Qualitative Reasoning Models of Interactions between Populations to Support Causal Reasoning of Deaf Students
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...
Paulo Salles, Heloisa Lima-Salles, Bert Bredeweg