Sciweavers

4178 search results - page 533 / 836
» Similarity Patterns in Language
Sort
View
FM
2009
Springer
104views Formal Methods» more  FM 2009»
16 years 1 months ago
A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
Helmut Seidl, Vesal Vojdani, Varmo Vene
TABLEAUX
2009
Springer
16 years 1 months ago
A Schemata Calculus for Propositional Logic
We define a notion of formula schema handling arithmetic parameters, indexed propositional variables (e.g. Pi) and iterated conjunctions/disjunctions (e.g. Vn i=1 Pi, where n is a...
Vincent Aravantinos, Ricardo Caferra, Nicolas Pelt...
DATE
2008
IEEE
182views Hardware» more  DATE 2008»
16 years 1 months ago
An adaptable FPGA-based System for Regular Expression Matching
In many applications string pattern matching is one of the most intensive tasks in terms of computation time and memory accesses. Network Intrusion Detection Systems and DNA Seque...
Ivano Bonesana, Marco Paolieri, Marco D. Santambro...
ICASSP
2008
IEEE
16 years 1 months ago
Automatic classification of question turns in spontaneous speech using lexical and prosodic evidence
The ability to identify speech acts reliably is desirable in any spoken language system that interacts with humans. Minimally, such a system should be capable of distinguishing be...
Sankaranarayanan Ananthakrishnan, Prasanta Ghosh, ...
IWPC
2008
IEEE
16 years 1 months ago
Mendel: A Model, Metrics, and Rules to Understand Class Hierarchies
Inheritance is an important mechanism when developing object-oriented programs with class-based programming languages: it enables subtyping, polymorphism, and code reuse. Inherita...
Simon Denier, Yann-Gaël Guéhéne...