6704 search results - page 1134 / 1341 » Testing Scenario-Based Models |
156
Voted
CHI
1999
ACM
15 years 8 months ago
1999
ACM
Interactive software is currently used for learning and entertainment purposes. This type of software is not very common among blind children because most computer games and elect...
144
Voted
ICECCS
1999
IEEE
15 years 8 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
111
Voted
CAIP
1999
Springer
15 years 8 months ago
1999
Springer
We address the problem of control-based recovery of robot pose and the environmental lay-out. Panoramic sensors provide us with a 1D projection of characteristic features of a 2D ...
115
Voted
ICCAD
1998
IEEE
15 years 8 months ago
1998
IEEE
The intellectual property (IP) business model is vulnerable to a number of potentially devastating obstructions, such as misappropriation and intellectual property fraud. We propo...
162
Voted
ROBOCUP
1999
Springer
15 years 8 months ago
1999
Springer
Virtual RoboCup is a real-time 3D visualization tool for 2D simulated soccer games as played in the RoboCup simulation league. Players are modeled as anthropmorphic gures and anima...