1750 search results - page 149 / 350 » E-Commerce Development Procedure |
131
click to vote
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
Abstract. We address the problem of developing efficient cache coherence protocols implementing distributed shared memory (DSM) using message passing. A serious drawback of traditi...
145
click to vote
TYPES
1999
Springer
15 years 9 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
147
click to vote
VISUALIZATION
1998
IEEE
15 years 9 months ago
1998
IEEE
Virtual angioscopy is a non invasive medical procedure for exploring parts of the human vascular system. We have developed an interactive tool that takes as input data acquired wi...
125
Voted
ECAI
1998
Springer
15 years 9 months ago
1998
Springer
In this paper we describe an approach for integrating abduction and induction in the ILP setting of learning from interpretations with the aim of solving the problem of incomplete...
189
Voted
ICSE
1998
IEEE-ACM
15 years 9 months ago
1998
IEEE-ACM
The COCOMO II model was created to meet the need for a cost model that accounted for future software development practices. This resulted in the formulation of three submodels for...