Sciweavers

10271 search results - page 1702 / 2055
» Self-plagiarism in computer science
Sort
View
178
Voted
ENTCS
2007
99views more  ENTCS 2007»
15 years 6 months ago
Nominal Equational Logic
This paper studies the notion of “freshness” that often occurs in the meta-theory of computer science languages involving various kinds of names. Nominal Equational Logic is a...
Ranald A. Clouston, Andrew M. Pitts
NETWORKS
2008
15 years 6 months ago
A Reach and Bound algorithm for acyclic dynamic-programming networks
Node pruning is a commonly used technique for solution acceleration in a dynamic programming network. In pruning, nodes are adaptively removed from the dynamic programming network...
Matthew D. Bailey, Robert L. Smith, Jeffrey M. Ald...
SIGPLAN
2008
15 years 6 months ago
Programming languages in a liberal arts education
Liberal arts curricula emphasize breadth of a student's educational experience, critical reasoning, and intellectual discourse to a greater degree than pre-professional train...
Kim B. Bruce, Stephen N. Freund
CCR
2005
63views more  CCR 2005»
15 years 6 months ago
The internet measurement data catalog
Internet data remains one of the basic components of computer science network research. Despite its necessity, available data is limited by legal, social, and technical constraint...
Colleen Shannon, David Moore, Ken Keys, Marina Fom...
JMM2
2007
125views more  JMM2 2007»
15 years 6 months ago
The Virtuality and Reality of Augmented Reality
— This thesis explores the creative possibilities and implications of Augmented Reality, not just as a specific technology of computer science, but as one of high technologies th...
Jung Yeon Ma, Jong Soo Choi
« Prev « First page 1702 / 2055 Last » Next »