279 search results - page 18 / 56 » A Name Abstraction Functor for Named Sets |
GD
2000
Springer
14 years 10 days ago
2000
Springer
Abstract. We deal with a map-labeling problem, named LOFL (Leftpart Ordered Flexible Labeling), to label a set of points in a plane with polygonal obstacles. The label for each poi...
STTT
2008
13 years 8 months ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
BIOID
2008
13 years 10 months ago
2008
Abstract. To implement a biometric authentication scheme, the templates of a group of people are stored in the database (DB) under the names of these people. Some person presents a...
DAGSTUHL
1997
13 years 10 months ago
1997
Abstract. This document1 contains de nitions of a wide range of concepts speci c to and widely used within temporal databases. In addition to providing de nitions, the document als...
BMCBI
2005
13 years 8 months ago
2005
Background: Our goal in BioCreAtIve has been to assess the state of the art in text mining, with emphasis on applications that reflect real biological applications, e.g., the cura...