1492 search results - page 171 / 299 » Testing Properties of Constraint-Graphs |
152
click to vote
AMS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract In legged systems, springy legs facilitate gaits with subsequent contact and flight phases. Here, we test whether electrical motors can generate leg behaviors suitable for...
104
click to vote
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
140
click to vote
CANDC
2007
ACM
15 years 8 months ago
2007
ACM
We discuss our study that looks at family members as everyday designers. We explain the design actions of family members to be creative, as evidenced by the resourceful appropriat...
134
click to vote
CEC
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper we derive a simpler form of Particle Swarm Optimiser (PSO) which still retains the key properties of the original model. We do so by progressively altering the origin...
148
click to vote
DAGM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract In this paper we extend a multi-camera model for simultaneous estimation of 3d position, normals, and 3d motion of surface patches [17] to be able to handle brightness cha...