5128 search results - page 84 / 1026 » When Abstraction Fails |
MAMMO
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Sonography is gaining popularity as an adjunct screening technique for assessing abnormalities in the breast. This is particularly true in cases where the subject has den...
100
click to vote
TABLEAUX
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-f...
ICCS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Current development processes for parallel software often fail to deliver portable software. This is because these processes usually require a tedious tuning phase to del...
ECAI
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. Teams arise in a number of important multiagent applications. Several theories of intentions for teams have been proposed. By and large, these theories tend to model team...
109
click to vote
PAKDD
2010
ACM
15 years 1 months ago
2010
ACM
Abstract. Privacy protection in publishing transaction data is an important problem. A key feature of transaction data is the extreme sparsity, which renders any single technique i...