7661 search results - page 1368 / 1533 » Languages and the Computing Profession |
182
click to vote
AUSAI
2003
Springer
16 years 9 days ago
2003
Springer
Abstract. In this paper, we describe a new approach to information extraction that neatly integrates top-down hypothesis driven information with bottom-up data driven information. ...
206
click to vote
CHARME
2003
Springer
16 years 9 days ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
210
click to vote
CP
2003
Springer
16 years 8 days ago
2003
Springer
Abstract. Searching objects within a catalog is a problem of increasing importance, as the general public has access to increasing volumes of data. Constraint programming has addre...
167
click to vote
CSL
2003
Springer
16 years 8 days ago
2003
Springer
The semantics of class-based languages can be defined in terms of objects only [8, 7, 1] if classes are viewed as objects with a constructor method. One obtains a store in which m...
187
Voted
DBPL
2003
Springer
16 years 8 days ago
2003
Springer
We consider the incremental validation of updates on XML documents. When a valid XML document (i.e., one satisfying some constraints) is updated, it has to be verified that the n...