7991 search results - page 162 / 1599 » Using More Reasoning to Improve |
159
click to vote
SPIN
2009
Springer
16 years 19 days ago
2009
Springer
This paper introduces a new model checking algorithm that searches for non-progress cycles, used mainly to check for livelocks. The algorithm performs an incremental depth-first s...
178
click to vote
RTCSA
2005
IEEE
15 years 11 months ago
2005
IEEE
In current research toward the design of more powerful behavior of RTDBS under unpredictable workloads, different research groups focus their work on QoS (Quality of Service) guar...
167
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Factored Markov Decision Processes is the theoretical framework underlying multi-step Learning Classifier Systems research. This framework is mostly used in the context ...
143
click to vote
ICSE
2000
IEEE-ACM
15 years 9 months ago
2000
IEEE-ACM
The work described in this paper is an investigation of COTS-based software development within a particular NASA environment, with an emphasis on the processes used. Fifteen proje...
155
click to vote
INTERACT
2003
15 years 7 months ago
2003
The Desktop History Tool presents users with a summary of the data they worked with throughout past days and weeks. The user’s own interaction history provides an invaluable sel...