Sciweavers

3199 search results - page 2 / 640
» Variability in Automation System Models
Sort
View
SPLC
2007
13 years 5 months ago
Automating Mappings between Use Case Diagrams and Feature Models for Software Product Lines
Features have been widely used by the product line community to model variability. They represent the common and variable characteristics of the members of a product line. They ar...
Alexandre Bragança, Ricardo Jorge Machado
ICLP
1995
Springer
13 years 8 months ago
Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...
Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel...
IROS
2009
IEEE
145views Robotics» more  IROS 2009»
13 years 11 months ago
Automated manipulation of spherical objects in three dimensions using a gimbaled air jet
— This paper presents a mechanism and a control strategy that enables automated non-contact manipulation of spherical objects in three dimensions using air flow, and demonstrate...
Aaron Becker, Robert Sandheinrich, Timothy Bretl
ECSQARU
2007
Springer
13 years 10 months ago
Causal Graphical Models with Latent Variables: Learning and Inference
Stijn Meganck, Philippe Leray, Bernard Manderick
MTV
2007
IEEE
166views Hardware» more  MTV 2007»
13 years 10 months ago
Application of Automated Model Generation Techniques to Analog/Mixed-Signal Circuits
Abstract—Abstract models of analog/mixed-signal (AMS) circuits can be used for formal verification and system-level simulation. The difficulty of creating these models preclude...
Scott Little, Alper Sen, Chris J. Myers