1357 search results - page 208 / 272 » Compositional analysis for linear systems |
KBSE
2008
IEEE
14 years 4 months ago
2008
IEEE
Text-based approaches to the analysis of software evolution are attractive because of the fine-grained, token-level comparisons they can generate. The use of such approaches has, ...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— Intelligently utilizing the frictional contact between a robot and its environment can prevent slip, maintain balance, and provide stability during a robot’s motion. ...
AIED
2007
Springer
14 years 4 months ago
2007
Springer
On-line discussion is a popular form of web-based computer-mediated communication and is an important medium for distance education. Automatic tools for analyzing online discussion...
DEXAW
2006
IEEE
14 years 4 months ago
2006
IEEE
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
ISIPTA
2005
IEEE
14 years 3 months ago
2005
IEEE
Uncertainty is a key issue in decision analysis and other kinds of applications. Researchers have developed a number of approaches to address computations on uncertain quantities....