1385 search results - page 161 / 277 » Natural Rewriting for General Term Rewriting Systems |
244
click to vote
SCP
2011
15 years 1 months ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...
164
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
This paper investigates whether Web comments are of descriptive nature, that is, whether the combined text of a set of comments is similar in topic to the commented object. If so,...
177
click to vote
ECSQARU
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper, we first investigate set semantics of propositional logic in terms of rough sets and discuss how truth values of propositions (sentences) can be interpret...
171
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
Network virtualization promises to spur innovation and add flexibility to the Future Internet infrastructure. Routers supporting virtualization allow the deployment of concurrent ...
135
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Previous research has shown both theoretically and practically that simulated annealing can greatly benefit from the incorporation of an adaptive range limiting window to control ...