Sciweavers

3273 search results - page 32 / 655
» types 2007
Sort
View
ACL
2001
15 years 1 months ago
Practical Issues in Compiling Typed Unification Grammars for Speech Recognition
Current alternatives for language modeling are statistical techniques based on large amounts of training data, and hand-crafted context-free or finite-state grammars that are diff...
John Dowding, Beth Ann Hockey, Jean Mark Gawron, C...
EUSFLAT
2003
15 years 1 months ago
Self-dual types of cycle-transitivity
A general framework for studying the transitivity of reciprocal relations is presented. The key feature is the cyclic evaluation of transitivity: triangles (i.e. any three points)...
Bernard De Baets, Hans De Meyer, Bart De Schuymer
EJC
2002
14 years 11 months ago
Bases in Orlik-Solomon Type Algebras
The Orlik-Solomon algebra of a matroid M is the quotient of the exterior algebra on the points by the ideal (M) generated by the boundaries of the circuits of the matroid. There i...
David Forge
FSTTCS
2007
Springer
15 years 6 months ago
Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption
Type systems for secure information flow aim to prevent a program from leaking information from variables that hold secret data to variables that hold public data. In this work we...
Judicaël Courant, Cristian Ene, Yassine Lakhn...
ISCI
2007
116views more  ISCI 2007»
14 years 11 months ago
Advances in type-2 fuzzy sets and systems
In this state-of-the-art paper, important advances that have been made during the past five years for both general and interval type-2 fuzzy sets and systems are described. Inter...
Jerry M. Mendel