2586 search results - page 55 / 518 » Automatic Abstraction for Congruences |
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper proposes a novel approach to discover options in the form of conditionally terminating sequences, and shows how they can be integrated into reinforcement learn...
EUROPAR
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Block-recursive codes for dense numerical linear algebra computations appear to be well-suited for execution on machines with deep memory hierarchies because they are e e...
ASM
2010
ASM
15 years 7 days ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...
CSSW
2007
14 years 11 months ago
2007
Abstract: Large amounts of information from various sources have often to be considered when collaboratively developing semantic structures. Examining all relevant information can ...
RSCTC
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Clinical Decision Support Systems embed data-driven decision models designed to represent clinical acumen of an experienced physician. We argue that eliminating physician...