Sciweavers

4266 search results - page 673 / 854
» The container loading problem
Sort
View
SAS
1999
Springer
116views Formal Methods» more  SAS 1999»
14 years 10 days ago
Decomposing Non-redundant Sharing by Complementation
Complementation, the inverse of the reduced product operation, is a technique for systemfinding minimal decompositions of abstract domains. Fil´e and Ranzato advanced the state ...
Enea Zaffanella, Patricia M. Hill, Roberto Bagnara
SBRN
1998
IEEE
14 years 10 days ago
A Neural Architecture for the Identification of Number Sequences
This paper describes an architecture based on spatiotemporal networks that identifies sequences of numbers. This architecture incorporates an input layer that transforms (by means...
Juan Moreno García, Gabriel Sebastiá...
CHI
1998
ACM
14 years 10 days ago
Patterns of Change in Design Metaphor: A Case Study
Although design metaphors play an important role in many software projects, their influence on system functionality, project methodology and the interactions among members of the ...
William A. Stubblefield
SIGMOD
1998
ACM
180views Database» more  SIGMOD 1998»
14 years 10 days ago
Integration of Heterogeneous Databases Without Common Domains Using Queries Based on Textual Similarity
Most databases contain “name constants” like course numbers, personal names, and place names that correspond to entities in the real world. Previous work in integration of het...
William W. Cohen
ECOOPW
1998
Springer
14 years 10 days ago
Workshop Report - ECOOP'98 Workshop 7: Tools and Environments for Business Rules
This workshop focussed on the requirements for tools and environments that support business rules in an object-oriented setting and attempted to provide an overview of possible tec...
Kim Mens, Roel Wuyts, Dirk Bontridder, Alain Grijs...