Sciweavers

1222 search results - page 72 / 245
» Some Results on Directable Automata
Sort
View
ICSE
2000
IEEE-ACM
15 years 1 months ago
Software process: a roadmap
Software process research deals with the methods and technologies used to assess, support, and improve software development activities. The field has grown up during the 80s to ad...
Alfonso Fuggetta
ICDT
2009
ACM
129views Database» more  ICDT 2009»
15 years 10 months ago
Faster join-projects and sparse matrix multiplications
Computing an equi-join followed by a duplicate eliminating projection is conventionally done by performing the two operations in serial. If some join attribute is projected away t...
Rasmus Resen Amossen, Rasmus Pagh
LICS
2008
IEEE
15 years 4 months ago
The Quest for a Logic Capturing PTIME
The question of whether there is a logic that captures polynomial time is the central open problem in descriptive complexity theory. In my talk, I will review the question and the...
Martin Grohe
SPAA
2009
ACM
15 years 10 months ago
Routing without ordering
We analyze the correctness and complexity of two well-known routing algorithms, introduced by Gafni and Bertsekas (1981): By reversing the directions of some edges, these algorith...
Bernadette Charron-Bost, Antoine Gaillard, Jennife...
ICPR
2000
IEEE
15 years 11 months ago
Fingerprint Image Enhancement Using Filtering Techniques
Extracting minutiae from fingerprint images is one of the most important steps in automatic fingerprint identification and classification. Minutiae are local discontinuities in th...
Shlomo Greenberg, Mayer Aladjem, Daniel Kogan, Its...