66 search results - page 13 / 14 » Congruence from the Operator's Point of View: Compositionali... |
LOGCOM
2008
13 years 5 months ago
2008
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...
DKE
2010
13 years 3 months ago
2010
Integration of software applications can be achieved on different levels: the data level, the business logic level, and the user interface level. Integration on the user interface ...
EDBT
2009
ACM
13 years 9 months ago
2009
ACM
The classic Generalized Sequential Patterns (GSP) algorithm returns all frequent sequences present in a database. However, usually a few ones are interesting from a user's po...
IMC
2009
ACM
14 years 4 days ago
2009
ACM
Internet exchange points (IXPs) are an important ingredient of the Internet AS-level ecosystem—a logical fabric of the Internet made up of about 30,000 ASes and their mutual bus...
ICAI
2008
13 years 7 months ago
2008
coarse procedures or very abstract frames from the point of view of algorithm, because some crucial issues like the representation, evolution, storage, and learning process of conc...