Sciweavers

6014 search results - page 741 / 1203
» Structural Testing with Use Cases
Sort
View
VL
1996
IEEE
15 years 11 months ago
Steering programs via time travel
Despite years of research into human computer interaction (HCI), the environments programmers must use for problem-solving today--with separate modes and tools for writing, compil...
John W. Atwood Jr., Margaret M. Burnett, Rebecca A...
ICRA
1994
IEEE
105views Robotics» more  ICRA 1994»
15 years 11 months ago
A Robotic Lighting System for Solar Illumination Simulation
This report details our development of a computer controlled spotlight with four actuated degrees-of-freedom for pan, tilt, linear movement, and beam focusing. We review the mecha...
Richard Volpe, Douglas McAffee
DAC
1994
ACM
15 years 11 months ago
BDD Variable Ordering for Interacting Finite State Machines
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
Adnan Aziz, Serdar Tasiran, Robert K. Brayton
ESEM
2007
ACM
15 years 11 months ago
How Software Designs Decay: A Pilot Study of Pattern Evolution
A common belief is that software designs decay as systems evolve. This research examines the extent to which software designs actually decay by studying the aging of design patter...
Clemente Izurieta, James M. Bieman
HUMO
2007
Springer
15 years 11 months ago
Efficient Upper Body Pose Estimation from a Single Image or a Sequence
We propose a method to find candidate 2D articulated model configurations by searching for locally optimal configurations under a weak but computationally manageable fitness functi...
Matheen Siddiqui, Gérard G. Medioni