Sciweavers

2612 search results - page 274 / 523
» Switching Graphs and Their Complexity
Sort
View
MSE
2002
IEEE
91views Hardware» more  MSE 2002»
15 years 10 months ago
A Visual Authoring Environment for Prototyping Multimedia Presentations
In this paper we describe an authoring environment which allows the author to set up and test a complex multimedia presentation by defining the synchronization relationships amon...
Ombretta Gaggi, Augusto Celentano
LATIN
1998
Springer
15 years 9 months ago
Improved Approximate Pattern Matching on Hypertext
The problem of approximate pattern matching on hypertext is de ned and solved by Amir et al. in O(m(nlogm + e)) time, where m is the length of the pattern, n is the total text size...
Gonzalo Navarro
119
Voted
NAACL
2003
15 years 6 months ago
Unsupervised Learning of Morphology for English and Inuktitut
We describe a simple unsupervised technique for learning morphology by identifying hubs in an automaton. For our purposes, a hub is a node in a graph with in-degree greater than o...
Howard Johnson, Joel D. Martin
RSA
2006
104views more  RSA 2006»
15 years 5 months ago
The satisfiability threshold for randomly generated binary constraint satisfaction problems
Abstract. We study two natural models of randomly generated constraint satisfaction problems. We determine how quickly the domain size must grow with n to ensure that these models ...
Alan M. Frieze, Michael Molloy
FSTTCS
2010
Springer
15 years 3 months ago
Fast equivalence-checking for normed context-free processes
Bisimulation equivalence is decidable in polynomial time over normed graphs generated by a context-free grammar. We present a new algorithm, working in time O(n5 ), thus improving...
Wojciech Czerwinski, Slawomir Lasota