1914 search results - page 250 / 383 » Abstract lambda-Calculus Machines |
WM
2003
13 years 9 months ago
2003
: We present an approach to using ontologies as interlingua in cross-language information retrieval in the medical domain. Our approach is based on using the Unified Medical Langu...
FORTE
1998
13 years 9 months ago
1998
Abstract: We present a new algorithm for automatic test generation for multicast routing. Our algorithm processes a nite state machine (FSM) model of the protocol and uses a mix of...
ROOM
2000
13 years 9 months ago
2000
A new version of SDL called SDL-2000 is currently reaching maturity, and is expected to pass the standardization bodies shortly. It will offer new features as object-oriented data...
EUROSIM
1994
13 years 9 months ago
1994
This paper introduces Pact, a new model for parallel heuristic programming on MIMD machines. Designed and implemented as an integrated tool environment, Pact allows the user to dev...
GISCIENCE
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper presents an automatic approach to mining collections of maps from the Web. Our method harvests images from the Web and then classifies them as maps or non-map...