4211 search results - page 544 / 843 » Types as Abstract Interpretations |
150
click to vote
ADBIS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Being able to activate triggers at timepoints reached or after time intervals elapsed has been acknowledged by many authors as a valuable functionality of a DBMS. Recentl...
164
click to vote
AI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper solves a static and transportation facility location allocation problem defined as follows: given a set of locations Loc and a set of demand objects D located ...
168
click to vote
WADS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We consider minimum equivalent digraph problem, its maximum optimization variant and some non-trivial extensions of these two types of problems motivated by biological an...
168
click to vote
WASA
2009
Springer
2009
Springer
Information Extraction as Link Prediction: Using Curated Citation Networks to Improve Gene Detection
16 years 1 months ago
Abstract. In this paper we explore the usefulness of various types of publicationrelated metadata, such as citation networks and curated databases, for the task of identifying gene...
163
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Database design aims to find a database schema that permits the efficient processing of common types of queries and updates on future database instances. Full first-ord...