5718 search results - page 786 / 1144 » Modeling Rule Precision |
192
Voted
CADE
2007
Springer
16 years 7 months ago
2007
Springer
This paper combines predictive labeling with dependency pairs and reports on its implementation. Our starting point is the method of proving termination of rewrite systems using se...
181
Voted
CISIS
2010
IEEE
16 years 2 months ago
2010
IEEE
—Bringing together heterogeneous computing devices and appliances gives rise to a spontaneous environment where resources exchange messages, such as a mobile phone telling the ca...
163
click to vote
BIRTHDAY
2009
Springer
16 years 2 months ago
2009
Springer
The Knowledge Base Management Systems (KBMS) Project at the University of Toronto (1985-1995) was inspired by a need for advanced knowledge representation applications that require...
176
Voted
ICAS
2009
IEEE
16 years 2 months ago
2009
IEEE
Existing middleware platforms for multi-agent systems (MAS) do not provide general support for observation. On the other hand, observation is considered to be an important mechani...
203
click to vote
ICASSP
2009
IEEE
16 years 2 months ago
2009
IEEE
Perceived quality of the speech signal deteriorates significantly in the presence of ambient noise. In this paper, based on the analysis that the partial masking effect is a main...