557 search results - page 19 / 112 » The L4.verified Project - Next Steps |
MVA
2000
13 years 10 months ago
2000
Abstract tion 6. When we have some estimation errors in the autoPractical problems are dealt with for augmented reality calibration, we may have a different perspective view from w...
ICSE
1998
IEEE-ACM
14 years 29 days ago
1998
IEEE-ACM
Negotiating requirements is one of the first steps in any software system life cycle, but its results have probably the most significant impact on the system's value. However...
LREC
2008
13 years 10 months ago
2008
This paper presents some preliminary results of our dependency parser for Thai. It is part of an ongoing project in developing a syntactically annotated Thai corpus. The parser ha...
CSREAESA
2006
13 years 10 months ago
2006
In this project, an in-house built bipedal walking Robot uses two direct current gear motors to power its legs. Each leg could bend at the knee to assist the walking routines. In ...
IQ
2001
13 years 10 months ago
2001
This paper examines why the rise of computermediated communication, driven by dramatically lowered cost, creates new structural problems from an information quality standpoint. We...