Sciweavers

206 search results - page 18 / 42
» Weak Alternating Automata Are Not That Weak
Sort
View
ICDAR
2003
IEEE
14 years 27 days ago
Video text recognition using feature compensation as category-dependent feature extraction
When recognizing multiple fonts, geometric features, such as the directional information of strokes, are generally robust against deformation but are weak against degradation. Thi...
Minoru Mori
ECAI
2006
Springer
13 years 11 months ago
Enhancing Constraints Manipulation in Semiring-Based Formalisms
Abstract. Many "semiring-like" structures are used in Soft Constraint Satisfaction Problems (SCSPs). We review a few properties of semirings that are useful for dealing w...
Stefano Bistarelli, Fabio Gadducci
ZUM
1994
Springer
147views Formal Methods» more  ZUM 1994»
13 years 11 months ago
Integrating Formal Methods into a Professional Master of Software Engineering Program
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...
David Garlan
WSC
1997
13 years 9 months ago
Comparison of Monte Carlo and Deterministic Methods for Non-Adaptive Optimization
In this paper we compare the average performance of Monte Carlo methods for global optimization with non-adaptive deterministic alternatives. We analyze the behavior of the algori...
Hisham A. Al-Mharmah, James M. Calvin
DBPL
2007
Springer
103views Database» more  DBPL 2007»
13 years 11 months ago
Datalog Programs over Infinite Databases, Revisited
Traditionally, infinite databases were studied as a data model for queries that may contain function symbols (since functions may be expressed as infinite relations). Recently, th...
Sara Cohen, Joseph Gil, Evelina Zarivach