406 search results - page 36 / 82 » Constraints on Strong Generative Power |
76
Voted
ANLP
1992
15 years 2 months ago
1992
Multilevel semantics has been proposed as a powerful architecture for semantic analysis. We propose a methodology that, while maintaining the generality of the multilevel approach...
89
Voted
EMNLP
2009
14 years 10 months ago
2009
Mitchell et al. (2008) demonstrated that corpus-extracted models of semantic knowledge can predict neural activation patterns recorded using fMRI. This could be a very powerful te...
111
click to vote
ESORICS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The design and implementation of security threat mitigation mechanisms in RFID systems, specially in low-cost RFID tags, are gaining great attention in both industry and ...
117
click to vote
ECOWS
2009
Springer
15 years 7 months ago
2009
Springer
—Current Web service composition approaches and languages such as WS-BPEL do not allow to define temporal constraints in a declarative and separate way. Also it is not possible ...
120
Voted
CADE
2004
Springer
15 years 6 months ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated (innermost) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequalit...