3104 search results - page 208 / 621 » Using quantitative analysis to implement autonomic IT system... |
134
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
170
click to vote
CSCW
1998
ACM
15 years 8 months ago
1998
ACM
Collaborative filtering systems help address information overload by using the opinions of users in a community to make personal recommendations for documents to each user. Many c...
125
click to vote
WCRE
2000
IEEE
15 years 8 months ago
2000
IEEE
We show how hypertext-based program understanding tools eve new levels of abstraction by using inferred type information for cases where the subject software system is written in ...
126
click to vote
ICDAR
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper introduces a novel high speed convolutional character recognition system. Convolutional mode operation means that no prior localization or segmentation of characters is...
123
click to vote
AIPS
1996
15 years 5 months ago
1996
Effective task-level control is critical for robots that are to engage in purposeful activity in realworld environments. This paper describes PRSLite, a task-level controller grou...