2783 search results - page 156 / 557 » The Nature Of Near-Synonymic Relations |
137
click to vote
ACL2
2006
ACM
15 years 7 months ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
141
click to vote
APAQS
2001
IEEE
15 years 5 months ago
2001
IEEE
With the increasing emphasis on dependability in complex, distributed systems, it is essential that system development can be done gradually and at different levels of detail. In ...
136
click to vote
ACL
2008
15 years 3 months ago
2008
We present a novel hierarchical prior structure for supervised transfer learning in named entity recognition, motivated by the common structure of feature spaces for this task acr...
121
click to vote
CSL
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The relationship between automata and logics has been investigated since the 1960s. In particular, it was shown how to determine, given an automaton, whether or not it is...
106
click to vote
JSAC
2006
15 years 1 months ago
2006
Within the realm of network security, we interpret the concept of trust as a relation among entities that participate in various protocols. Trust relations are based on evidence cr...