3001 search results - page 100 / 601 » Recursive type generativity |
103
click to vote
HICSS
2002
IEEE
15 years 7 months ago
2002
IEEE
This research paper presents a new system's design and development of the prescription order communication system (POCS) based on the Internet between the hospital and the ph...
139
Voted
PEPM
1998
ACM
15 years 6 months ago
1998
ACM
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...
133
click to vote
ECCV
2006
Springer
15 years 6 months ago
2006
Springer
We propose a closed form solution for segmenting mixtures of 2-D translational and 2-D affine motion models directly from the image intensities. Our approach exploits the fact that...
98
Voted
ISMB
2001
15 years 4 months ago
2001
Using gene expression data to classify tumor types is a very promising tool in cancer diagnosis. Previous works show several pairs of tumor types can be successfully distinguished...
105
Voted
WWW
2004
ACM
16 years 3 months ago
2004
ACM
Service matchmaking and composition has recently drawn increasing attention in the research community. Most existing algorithms construct chains of services based on exact matches...