4211 search results - page 380 / 843 » Types as Abstract Interpretations |
182
click to vote
ECRA
2002
15 years 6 months ago
2002
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...
210
click to vote
JBI
2002
15 years 6 months ago
2002
Rapid advances in genome sequencing and gene expression microarray technologies are providing unprecedented opportunities to identify specific genes involved in complex biological...
204
click to vote
JECR
2002
15 years 6 months ago
2002
As the mobile Internet has been used explosively worldwide, the effects of cultural factors on mobile Internet have been an interesting issue. The objectives of this study are to ...
183
click to vote
JIFS
2002
15 years 6 months ago
2002
Microarray technologies have allowed the measurement of expression of multiple genes simultaneously. Gene expression levels can be used to classify tissues into diagnostic or progn...
156
click to vote
PUC
2002
15 years 6 months ago
2002
: Sentient Computing provides computers with perception so that they can react and provide assistance to user activities. Physical spaces are made sentient when they are wired with...