5030 search results - page 122 / 1006 » cases 2007 |
118
click to vote
AML
2000
15 years 4 months ago
2000
We study a local version of the order property in several frameworks, with an emphasis on frameworks where the compactness theorem fails: (1) Inside a fixed model, (2) for classes ...
101
click to vote
ICAIL
2007
ACM
15 years 8 months ago
2007
ACM
In the present paper, we provide a formalised version of a merged argumentative and story-based approach towards the analysis of evidence. As an application, we are able to show h...
110
click to vote
IJCAI
2001
15 years 6 months ago
2001
This paper describes SiN, a novel case-based planning algorithm that combines conversational case retrieval with generative planning. SiN is provably correct, and can generate pla...
121
click to vote
WADS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Edge casing is a well-known method to improve the readability of drawings of non-planar graphs. A cased drawing orders the edges of each edge crossing and interrupts the ...
129
click to vote
CASES
2007
ACM
15 years 8 months ago
2007
ACM
Although NAND flash memory has become one of the most popular storage media for portable devices, it has a serious problem with respect to lifetime. Each block of NAND flash memor...