1415 search results - page 182 / 283 » Verified systems by composition from verified components |
164
click to vote
JFR
2008
15 years 6 months ago
2008
A novel method for estimating vehicle roll, pitch and yaw using machine vision and inertial sensors is presented that is based on matching images captured from an on-vehicle camer...
164
click to vote
JUCS
2007
15 years 6 months ago
2007
: Nowadays, software evolution is a very hot topic. It is particularly complex when it regards critical and nonstopping systems. Usually, these situations are tackled by hard-codin...
154
click to vote
SSDBM
2005
IEEE
15 years 12 months ago
2005
IEEE
The tools used to analyze scientific data are often distinct from those used to archive, retrieve, and query data. A scientific workflow environment, however, allows one to seamles...
204
click to vote
IJCAI
1989
15 years 7 months ago
1989
A macro-operator is an integrated operator consisting of plural primitive operators and enables a problem solver to solve more efficiently. However, if a learning system generates...
189
click to vote
EWSPT
2001
Springer
15 years 10 months ago
2001
Springer
We describe an approach based upon software process technology to on-the-fly monitoring, redeployment, reconfiguration, and in general dynamic adaptation of distributed software ap...