1684 search results - page 7 / 337 » The lexicographic decision function |
NLE
2010
13 years 6 months ago
2010
Thesauri, that list the most salient semantic relations between words have mostly been compiled manually. Therefore, the inclusion of an entry depends on the subjective decision o...
WINE
2010
Springer
13 years 6 months ago
2010
Springer
We propose a new proxy bidding mechanism to allocate courses to students given students' reported preferences. Our mechanism is motivated by a specific strategic downgrading m...
ISMVL
2009
IEEE
14 years 3 months ago
2009
IEEE
This paper proposes a design method for floating-point numerical function generators (NFGs) using multi-valued decision diagrams (MDDs). Our method applies to monotone elementary...
RTA
2009
Springer
14 years 2 months ago
2009
Springer
We study the derivational complexity induced by the (basic) dependency pair method. Suppose the derivational complexity induced by a termination method is closed under elementary f...
CRYPTO
2012
Springer
11 years 11 months ago
2012
Springer
We provide a functional encryption system that supports functionality for regular languages. In our system a secret key is associated with a Deterministic Finite Automata (DFA) M....