Sciweavers

599 search results - page 70 / 120
» Type System for Specializing Polymorphism
Sort
View
MEDINFO
2007
158views Healthcare» more  MEDINFO 2007»
13 years 9 months ago
Geographically Distributed Complementary Content-Based Image Retrieval Systems for Biomedical Image Informatics
There is a significant increase in the use of medical images in clinical medicine, disease research, and education. While the literature lists several successful systems for conte...
Sameer Antani, Thomas Martin Deserno, L. Rodney Lo...
ICCSA
2011
Springer
12 years 11 months ago
Integration of ePortfolios in Learning Management Systems
The LMS plays a decisive role in most eLearning environments. Although they integrate many useful tools for managing eLearning activities, they must also be effectively integrated ...
Ricardo Queirós, Lino Oliveira, José...
COSIT
2001
Springer
122views GIS» more  COSIT 2001»
14 years 6 days ago
Spatial and Cognitive Simulation with Multi-agent Systems
The simulation of human behavior in space is an extremely interesting and powerful research method to advance our understanding of human spatial cognition and the interaction of hu...
Andrew U. Frank, Steffen Bittner, Martin Raubal
IEICET
2010
76views more  IEICET 2010»
13 years 6 months ago
Planar Waveguide Arrays for Millimeter Wave Systems
Design of high gain and high efficiency antennas is one of the key challenges in antenna engineering and especially in millimeter wave communication systems. Various types of plan...
Makoto Ando
PEPM
2009
ACM
14 years 4 months ago
Bidirectional data-flow analyses, type-systematically
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
Maria João Frade, Ando Saabas, Tarmo Uustal...