Sciweavers

2944 search results - page 218 / 589
» On Well Quasi-orders on Languages
Sort
View
BTW
2007
Springer
123views Database» more  BTW 2007»
16 years 22 days ago
Matching Metamodels with Semantic Systems - An Experience Report
: Ontology and schema matching are well established techniques, which have been applied in various integration scenarios, e.g., web service composition and database integration. Co...
Gerti Kappel, Horst Kargl, Gerhard Kramler, Andrea...
CICLING
2007
Springer
16 years 22 days ago
NEO-CORTEX: A Performant User-Oriented Multi-Document Summarization System
Abstract. This paper discusses an approach to topic-oriented multidocument summarization. It investigates the effectiveness of using additional information about the document set ...
Florian Boudin, Juan Manuel Torres Moreno
ECOOP
2007
Springer
16 years 22 days ago
Matching Objects with Patterns
Data in object-oriented programming is organized in a hierarchy of classes. The problem of object-oriented pattern matching is how to explore this hierarchy from the outside. This ...
Burak Emir, Martin Odersky, John Williams
OTM
2007
Springer
16 years 20 days ago
Compiler Assisted Elliptic Curve Cryptography
Abstract. Although cryptographic implementation tasks are often undertaken by expert programmers, a plethora of performance and security driven options, as well as more mundane sof...
Manuel Barbosa, Andrew Moss, Dan Page
TAMC
2007
Springer
16 years 20 days ago
Synchronization of Some DFA
A word w is called synchronizing (recurrent, reset, directable) word of deterministic finite automaton (DFA) if w brings all states of the automaton to an unique state. ˇCerny co...
A. N. Trahtman