932 search results - page 95 / 187 » Verifying Progress in Timed Systems |
135
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
We propose a web-based computer-assisted tool for diagnosing progress in international negotiation. The system is based on a general linear model. Innovative features of the progr...
112
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...
124
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
— We report on progress toward a continuous time full 6 DOF translational body state estimator for a hexapod robot executing a jogging gait (with 4 consecutive phases: tripod sta...
149
click to vote
WSC
2008
15 years 6 months ago
2008
Optimization and design of production and service operations has been a cornerstone of simulation applications for many years. Recently there has been increasing interest in excel...
101
click to vote
ACE
2004
15 years 5 months ago
2004
1 Adaptive teaching does not usually rhyme with large number of students in class. Given the small amount of face to face and the disproportionate ratio, teachers have to use their...