5634 search results - page 55 / 1127 » About Abstract Classes |
97
Voted
ASIAN
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. We present a constraint system OF of feature trees that is appropriate to specify and implement type inference for first-class messages. OF extends traditional systems of...
74
Voted
CICLING
2008
Springer
15 years 27 days ago
2008
Springer
Abstract. Previous research has shown that syntactic features are the most informative features in automatic verb classification. We investigate their optimal characteristics by co...
92
Voted
DLT
2010
15 years 11 days ago
2010
Abstract. We prove that uniform and semi-uniform families of P systems with active membranes using only communication and nonelementary division rules are not computationally unive...
STOC
2007
ACM
15 years 11 months ago
2007
ACM
We study properties of quantum strategies, which are complete specifications of a given party's actions in any multiple-round interaction involving the exchange of quantum in...
76
Voted
FROCOS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We propose a new class of tree automata, called tree automata with normalization (TAN). This framework extends equational tree automata, and improved the results of them:...