Sciweavers

147 search results - page 20 / 30
» Model-based Systems Analysis Using CSIM18
Sort
View
ICRA
2007
IEEE
149views Robotics» more  ICRA 2007»
14 years 1 months ago
Frictional Compliance Model Development and Experiments for Snake Robot Climbing
Abstract— Intelligently utilizing the frictional contact between a robot and its environment can prevent slip, maintain balance, and provide stability during a robot’s motion. ...
Amir Shapiro, Aaron Greenfield, Howie Choset
CAIP
2007
Springer
14 years 1 months ago
A Simplified Human Vision Model Applied to a Blocking Artifact Metric
A novel approach towards a simplified, though still reliable human vision model based on the spatial masking properties of the human visual system (HVS) is presented. The model con...
Hantao Liu, Ingrid Heynderickx
HYBRID
2007
Springer
14 years 1 months ago
Model Checking Genetic Regulatory Networks with Parameter Uncertainty
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
Grégory Batt, Calin Belta, Ron Weiss
WCRE
2007
IEEE
14 years 1 months ago
Documenting Typical Crosscutting Concerns
Our analysis of crosscutting concerns in real-life software systems (totaling over 500,000 LOC) and in reports from literature indicated a number of properties that allow for thei...
Marius Marin, Leon Moonen, Arie van Deursen
CONSTRAINTS
2004
116views more  CONSTRAINTS 2004»
13 years 7 months ago
Decision Tradeoff Using Example-Critiquing and Constraint Programming
We consider constructive preference elicitation for decision aid systems in applications such as configuration or electronic catalogs. We are particularly interested in supporting ...
Pearl Pu, Boi Faltings